H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 3.064 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/List.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ LR

mainModule List

((elemIndices :: Eq a => Maybe a -> [Maybe a] -> [Int]) :: Eq a => Maybe a -> [Maybe a] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (\vv1 ->

case	vv1 of
	(x,i)	->	if p x then i : [] else []
	_	->	[]

) (zip xs (enumFrom 0))

module Maybe where

import qualified List
import qualified Prelude

Lambda Reductions:
The following Lambda expression

\vv1→

case vv1 of
(x,i) → if p x then i : [] else []

_ → []

is transformed to

findIndices0 p vv1 =

case vv1 of
(x,i) → if p x then i : [] else []

_ → []

The following Lambda expression

\ab→(a,b)

is transformed to

zip0 a b = (a,b)

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

mainModule List

((elemIndices :: Eq a => Maybe a -> [Maybe a] -> [Int]) :: Eq a => Maybe a -> [Maybe a] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

case	vv1 of
	(x,i)	->	if p x then i : [] else []
	_	->	[]

module Maybe where

import qualified List
import qualified Prelude

Case Reductions:
The following Case expression

case vv1 of
(x,i) → if p x then i : [] else []

_ → []

is transformed to

findIndices00 p (x,i) = if p x then i : [] else []

findIndices00 p _ = []

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

mainModule List

((elemIndices :: Eq a => Maybe a -> [Maybe a] -> [Int]) :: Eq a => Maybe a -> [Maybe a] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	if p x then i : [] else []
findIndices00	p _	=	[]

module Maybe where

import qualified List
import qualified Prelude

If Reductions:
The following If expression

if p x then i : [] else []

is transformed to

findIndices000 i True = i : []

findIndices000 i False = []

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

mainModule List

((elemIndices :: Eq a => Maybe a -> [Maybe a] -> [Int]) :: Eq a => Maybe a -> [Maybe a] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	findIndices000 i (p x)
findIndices00	p _	=	[]

findIndices000	i True	=	i : []
findIndices000	i False	=	[]

module Maybe where

import qualified List
import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

mainModule List

((elemIndices :: Eq a => Maybe a -> [Maybe a] -> [Int]) :: Eq a => Maybe a -> [Maybe a] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	findIndices000 i (p x)
findIndices00	p vw	=	[]

findIndices000	i True	=	i : []
findIndices000	i False	=	[]

module Maybe where

import qualified List
import qualified Prelude

Cond Reductions:
The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

mainModule List

((elemIndices :: Eq a => Maybe a -> [Maybe a] -> [Int]) :: Eq a => Maybe a -> [Maybe a] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom 0))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	findIndices000 i (p x)
findIndices00	p vw	=	[]

findIndices000	i True	=	i : []
findIndices000	i False	=	[]

module Maybe where

import qualified List
import qualified Prelude

Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

mainModule List

(elemIndices :: Eq a => Maybe a -> [Maybe a] -> [Int])

module List where

import qualified Maybe
import qualified Prelude

elemIndices :: Eq a => a -> [a] -> [Int]

elemIndices

findIndices (== x)

findIndices :: (a -> Bool) -> [a] -> [Int]

findIndices

p xs

concatMap (findIndices0 p) (zip xs (enumFrom (Pos Zero)))

findIndices0

p vv1

findIndices00 p vv1

findIndices00	p (x,i)	=	findIndices000 i (p x)
findIndices00	p vw	=	[]

findIndices000	i True	=	i : []
findIndices000	i False	=	[]

module Maybe where

import qualified List
import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="elemIndices\n  Eq a",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="elemIndices yu3\n  Eq a",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
4[label="elemIndices yu3 yu4\n  Eq a",fontsize=16,color="black",shape="triangle"];4 -> 5[label="",style="solid", color="black", weight=3];
5[label="findIndices (yu3 ==) yu4\n  Eq a",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
6[label="concatMap (findIndices0 (yu3 ==)) (zip yu4 (enumFrom (Pos Zero)))\n  Eq a",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
7[label="concat . map (findIndices0 (yu3 ==))\n  Eq a",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
8[label="concat (map (findIndices0 (yu3 ==)) (zip yu4 (enumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
9[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zip yu4 (enumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
10[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu4 (enumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="burlywood",shape="box"];2193[label="yu4/yu40 : yu41",fontsize=10,color="white",style="solid",shape="box"];10 -> 2193[label="",style="solid", color="burlywood", weight=9];
2193 -> 11[label="",style="solid", color="burlywood", weight=3];
2194[label="yu4/[]",fontsize=10,color="white",style="solid",shape="box"];10 -> 2194[label="",style="solid", color="burlywood", weight=9];
2194 -> 12[label="",style="solid", color="burlywood", weight=3];
11[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu40 : yu41) (enumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="black",shape="box"];11 -> 13[label="",style="solid", color="black", weight=3];
12[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 [] (enumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="black",shape="box"];12 -> 14[label="",style="solid", color="black", weight=3];
13[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu40 : yu41) (numericEnumFrom (Pos Zero))))\n  Eq a",fontsize=16,color="black",shape="box"];13 -> 15[label="",style="solid", color="black", weight=3];
14[label="foldr (++) [] (map (findIndices0 (yu3 ==)) [])\n  Eq a",fontsize=16,color="black",shape="triangle"];14 -> 16[label="",style="solid", color="black", weight=3];
15[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu40 : yu41) (Pos Zero : (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))\n  Eq a",fontsize=16,color="black",shape="box"];15 -> 17[label="",style="solid", color="black", weight=3];
16[label="foldr (++) [] []",fontsize=16,color="black",shape="box"];16 -> 18[label="",style="solid", color="black", weight=3];
17[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zip0 yu40 (Pos Zero) : zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];17 -> 19[label="",style="solid", color="black", weight=3];
18[label="[]",fontsize=16,color="green",shape="box"];19[label="foldr (++) [] (findIndices0 (yu3 ==) (zip0 yu40 (Pos Zero)) : map (findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];19 -> 20[label="",style="solid", color="black", weight=3];
20[label="(++) findIndices0 (yu3 ==) (zip0 yu40 (Pos Zero)) foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];20 -> 21[label="",style="solid", color="black", weight=3];
21[label="(++) findIndices00 (yu3 ==) (zip0 yu40 (Pos Zero)) foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];21 -> 22[label="",style="solid", color="black", weight=3];
22[label="(++) findIndices00 (yu3 ==) (yu40,Pos Zero) foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];22 -> 23[label="",style="solid", color="black", weight=3];
23 -> 1481[label="",style="dashed", color="red", weight=0];
23[label="(++) findIndices000 (Pos Zero) (yu3 == yu40) foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="magenta"];23 -> 1482[label="",style="dashed", color="magenta", weight=3];
23 -> 1483[label="",style="dashed", color="magenta", weight=3];
23 -> 1484[label="",style="dashed", color="magenta", weight=3];
1482[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="burlywood",shape="box"];2196[label="yu41/yu410 : yu411",fontsize=10,color="white",style="solid",shape="box"];1482 -> 2196[label="",style="solid", color="burlywood", weight=9];
2196 -> 1507[label="",style="solid", color="burlywood", weight=3];
2197[label="yu41/[]",fontsize=10,color="white",style="solid",shape="box"];1482 -> 2197[label="",style="solid", color="burlywood", weight=9];
2197 -> 1508[label="",style="solid", color="burlywood", weight=3];
1483[label="yu3 == yu40\n  Eq a",fontsize=16,color="burlywood",shape="triangle"];2198[label="yu3/Nothing",fontsize=10,color="white",style="solid",shape="box"];1483 -> 2198[label="",style="solid", color="burlywood", weight=9];
2198 -> 1509[label="",style="solid", color="burlywood", weight=3];
2199[label="yu3/Just yu30",fontsize=10,color="white",style="solid",shape="box"];1483 -> 2199[label="",style="solid", color="burlywood", weight=9];
2199 -> 1510[label="",style="solid", color="burlywood", weight=3];
1484[label="Zero",fontsize=16,color="green",shape="box"];1481[label="(++) findIndices000 (Pos yu48) yu50 yu46",fontsize=16,color="burlywood",shape="triangle"];2200[label="yu50/False",fontsize=10,color="white",style="solid",shape="box"];1481 -> 2200[label="",style="solid", color="burlywood", weight=9];
2200 -> 1511[label="",style="solid", color="burlywood", weight=3];
2201[label="yu50/True",fontsize=10,color="white",style="solid",shape="box"];1481 -> 2201[label="",style="solid", color="burlywood", weight=9];
2201 -> 1512[label="",style="solid", color="burlywood", weight=3];
1507[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu410 : yu411) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];1507 -> 1513[label="",style="solid", color="black", weight=3];
1508[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 [] (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];1508 -> 1514[label="",style="solid", color="black", weight=3];
1509[label="Nothing == yu40\n  Eq a",fontsize=16,color="burlywood",shape="box"];2202[label="yu40/Nothing",fontsize=10,color="white",style="solid",shape="box"];1509 -> 2202[label="",style="solid", color="burlywood", weight=9];
2202 -> 1515[label="",style="solid", color="burlywood", weight=3];
2203[label="yu40/Just yu400",fontsize=10,color="white",style="solid",shape="box"];1509 -> 2203[label="",style="solid", color="burlywood", weight=9];
2203 -> 1516[label="",style="solid", color="burlywood", weight=3];
1510[label="Just yu30 == yu40\n  Eq a",fontsize=16,color="burlywood",shape="box"];2204[label="yu40/Nothing",fontsize=10,color="white",style="solid",shape="box"];1510 -> 2204[label="",style="solid", color="burlywood", weight=9];
2204 -> 1517[label="",style="solid", color="burlywood", weight=3];
2205[label="yu40/Just yu400",fontsize=10,color="white",style="solid",shape="box"];1510 -> 2205[label="",style="solid", color="burlywood", weight=9];
2205 -> 1518[label="",style="solid", color="burlywood", weight=3];
1511[label="(++) findIndices000 (Pos yu48) False yu46",fontsize=16,color="black",shape="box"];1511 -> 1519[label="",style="solid", color="black", weight=3];
1512[label="(++) findIndices000 (Pos yu48) True yu46",fontsize=16,color="black",shape="box"];1512 -> 1520[label="",style="solid", color="black", weight=3];
1513 -> 2133[label="",style="dashed", color="red", weight=0];
1513[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu410 : yu411) (Pos Zero + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos Zero + fromInt (Pos (Succ Zero))))))\n  Eq a",fontsize=16,color="magenta"];1513 -> 2134[label="",style="dashed", color="magenta", weight=3];
1513 -> 2135[label="",style="dashed", color="magenta", weight=3];
1513 -> 2136[label="",style="dashed", color="magenta", weight=3];
1513 -> 2137[label="",style="dashed", color="magenta", weight=3];
1514 -> 14[label="",style="dashed", color="red", weight=0];
1514[label="foldr (++) [] (map (findIndices0 (yu3 ==)) [])\n  Eq a",fontsize=16,color="magenta"];1515[label="Nothing == Nothing\n  Eq a",fontsize=16,color="black",shape="box"];1515 -> 1522[label="",style="solid", color="black", weight=3];
1516[label="Nothing == Just yu400\n  Eq a",fontsize=16,color="black",shape="box"];1516 -> 1523[label="",style="solid", color="black", weight=3];
1517[label="Just yu30 == Nothing\n  Eq a",fontsize=16,color="black",shape="box"];1517 -> 1524[label="",style="solid", color="black", weight=3];
1518[label="Just yu30 == Just yu400\n  Eq a",fontsize=16,color="black",shape="box"];1518 -> 1525[label="",style="solid", color="black", weight=3];
1519[label="(++) [] yu46",fontsize=16,color="black",shape="triangle"];1519 -> 1526[label="",style="solid", color="black", weight=3];
1520[label="(++) (Pos yu48 : []) yu46",fontsize=16,color="black",shape="box"];1520 -> 1527[label="",style="solid", color="black", weight=3];
2134[label="yu410\n  Eq a",fontsize=16,color="green",shape="box"];2135[label="Zero",fontsize=16,color="green",shape="box"];2136[label="yu411\n  Eq a",fontsize=16,color="green",shape="box"];2137[label="Zero",fontsize=16,color="green",shape="box"];2133[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (Pos yu64 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos yu65 + fromInt (Pos (Succ Zero))))))\n  Eq a",fontsize=16,color="black",shape="triangle"];2133 -> 2140[label="",style="solid", color="black", weight=3];
1522[label="True",fontsize=16,color="green",shape="box"];1523[label="False",fontsize=16,color="green",shape="box"];1524[label="False",fontsize=16,color="green",shape="box"];1525[label="yu30 == yu400\n  Eq a",fontsize=16,color="blue",shape="box"];2208[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1525 -> 2208[label="",style="solid", color="blue", weight=9];
2208 -> 1529[label="",style="solid", color="blue", weight=3];
2209[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1525 -> 2209[label="",style="solid", color="blue", weight=9];
2209 -> 1530[label="",style="solid", color="blue", weight=3];
2210[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1525 -> 2210[label="",style="solid", color="blue", weight=9];
2210 -> 1531[label="",style="solid", color="blue", weight=3];
2211[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1525 -> 2211[label="",style="solid", color="blue", weight=9];
2211 -> 1532[label="",style="solid", color="blue", weight=3];
2212[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1525 -> 2212[label="",style="solid", color="blue", weight=9];
2212 -> 1533[label="",style="solid", color="blue", weight=3];
2213[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1525 -> 2213[label="",style="solid", color="blue", weight=9];
2213 -> 1534[label="",style="solid", color="blue", weight=3];
2214[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1525 -> 2214[label="",style="solid", color="blue", weight=9];
2214 -> 1535[label="",style="solid", color="blue", weight=3];
2215[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1525 -> 2215[label="",style="solid", color="blue", weight=9];
2215 -> 1536[label="",style="solid", color="blue", weight=3];
2216[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1525 -> 2216[label="",style="solid", color="blue", weight=9];
2216 -> 1537[label="",style="solid", color="blue", weight=3];
2217[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1525 -> 2217[label="",style="solid", color="blue", weight=9];
2217 -> 1538[label="",style="solid", color="blue", weight=3];
2218[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1525 -> 2218[label="",style="solid", color="blue", weight=9];
2218 -> 1539[label="",style="solid", color="blue", weight=3];
2219[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1525 -> 2219[label="",style="solid", color="blue", weight=9];
2219 -> 1540[label="",style="solid", color="blue", weight=3];
2220[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1525 -> 2220[label="",style="solid", color="blue", weight=9];
2220 -> 1541[label="",style="solid", color="blue", weight=3];
2221[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1525 -> 2221[label="",style="solid", color="blue", weight=9];
2221 -> 1542[label="",style="solid", color="blue", weight=3];
1526[label="yu46",fontsize=16,color="green",shape="box"];1527[label="Pos yu48 : [] ++ yu46",fontsize=16,color="green",shape="box"];1527 -> 1543[label="",style="dashed", color="green", weight=3];
2140[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (Pos yu64 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos yu65 + fromInt (Pos (Succ Zero)))))))\n  Eq a",fontsize=16,color="black",shape="box"];2140 -> 2143[label="",style="solid", color="black", weight=3];
1529[label="yu30 == yu400\n  Integral a",fontsize=16,color="burlywood",shape="triangle"];2222[label="yu30/yu300 :% yu301",fontsize=10,color="white",style="solid",shape="box"];1529 -> 2222[label="",style="solid", color="burlywood", weight=9];
2222 -> 1545[label="",style="solid", color="burlywood", weight=3];
1530 -> 1483[label="",style="dashed", color="red", weight=0];
1530[label="yu30 == yu400\n  Eq a",fontsize=16,color="magenta"];1530 -> 1546[label="",style="dashed", color="magenta", weight=3];
1530 -> 1547[label="",style="dashed", color="magenta", weight=3];
1531[label="yu30 == yu400",fontsize=16,color="black",shape="triangle"];1531 -> 1548[label="",style="solid", color="black", weight=3];
1532[label="yu30 == yu400\n  Eq a  Eq b  Eq c",fontsize=16,color="burlywood",shape="triangle"];2224[label="yu30/(yu300,yu301,yu302)",fontsize=10,color="white",style="solid",shape="box"];1532 -> 2224[label="",style="solid", color="burlywood", weight=9];
2224 -> 1549[label="",style="solid", color="burlywood", weight=3];
1533[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2225[label="yu30/LT",fontsize=10,color="white",style="solid",shape="box"];1533 -> 2225[label="",style="solid", color="burlywood", weight=9];
2225 -> 1550[label="",style="solid", color="burlywood", weight=3];
2226[label="yu30/EQ",fontsize=10,color="white",style="solid",shape="box"];1533 -> 2226[label="",style="solid", color="burlywood", weight=9];
2226 -> 1551[label="",style="solid", color="burlywood", weight=3];
2227[label="yu30/GT",fontsize=10,color="white",style="solid",shape="box"];1533 -> 2227[label="",style="solid", color="burlywood", weight=9];
2227 -> 1552[label="",style="solid", color="burlywood", weight=3];
1534[label="yu30 == yu400\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="triangle"];2228[label="yu30/(yu300,yu301)",fontsize=10,color="white",style="solid",shape="box"];1534 -> 2228[label="",style="solid", color="burlywood", weight=9];
2228 -> 1553[label="",style="solid", color="burlywood", weight=3];
1535[label="yu30 == yu400",fontsize=16,color="black",shape="triangle"];1535 -> 1554[label="",style="solid", color="black", weight=3];
1536[label="yu30 == yu400\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="triangle"];2229[label="yu30/Left yu300",fontsize=10,color="white",style="solid",shape="box"];1536 -> 2229[label="",style="solid", color="burlywood", weight=9];
2229 -> 1555[label="",style="solid", color="burlywood", weight=3];
2230[label="yu30/Right yu300",fontsize=10,color="white",style="solid",shape="box"];1536 -> 2230[label="",style="solid", color="burlywood", weight=9];
2230 -> 1556[label="",style="solid", color="burlywood", weight=3];
1537[label="yu30 == yu400\n  Eq a",fontsize=16,color="burlywood",shape="triangle"];2231[label="yu30/yu300 : yu301",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2231[label="",style="solid", color="burlywood", weight=9];
2231 -> 1557[label="",style="solid", color="burlywood", weight=3];
2232[label="yu30/[]",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2232[label="",style="solid", color="burlywood", weight=9];
2232 -> 1558[label="",style="solid", color="burlywood", weight=3];
1538[label="yu30 == yu400",fontsize=16,color="black",shape="triangle"];1538 -> 1559[label="",style="solid", color="black", weight=3];
1539[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2233[label="yu30/()",fontsize=10,color="white",style="solid",shape="box"];1539 -> 2233[label="",style="solid", color="burlywood", weight=9];
2233 -> 1560[label="",style="solid", color="burlywood", weight=3];
1540[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2234[label="yu30/Integer yu300",fontsize=10,color="white",style="solid",shape="box"];1540 -> 2234[label="",style="solid", color="burlywood", weight=9];
2234 -> 1561[label="",style="solid", color="burlywood", weight=3];
1541[label="yu30 == yu400",fontsize=16,color="burlywood",shape="triangle"];2235[label="yu30/False",fontsize=10,color="white",style="solid",shape="box"];1541 -> 2235[label="",style="solid", color="burlywood", weight=9];
2235 -> 1562[label="",style="solid", color="burlywood", weight=3];
2236[label="yu30/True",fontsize=10,color="white",style="solid",shape="box"];1541 -> 2236[label="",style="solid", color="burlywood", weight=9];
2236 -> 1563[label="",style="solid", color="burlywood", weight=3];
1542[label="yu30 == yu400",fontsize=16,color="black",shape="triangle"];1542 -> 1564[label="",style="solid", color="black", weight=3];
1543 -> 1519[label="",style="dashed", color="red", weight=0];
1543[label="[] ++ yu46",fontsize=16,color="magenta"];2143[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (primPlusInt (Pos yu64) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos yu65) (fromInt (Pos (Succ Zero))))))))\n  Eq a",fontsize=16,color="black",shape="box"];2143 -> 2148[label="",style="solid", color="black", weight=3];
1545[label="yu300 :% yu301 == yu400\n  Integral a",fontsize=16,color="burlywood",shape="box"];2238[label="yu400/yu4000 :% yu4001",fontsize=10,color="white",style="solid",shape="box"];1545 -> 2238[label="",style="solid", color="burlywood", weight=9];
2238 -> 1566[label="",style="solid", color="burlywood", weight=3];
1546[label="yu400\n  Eq a",fontsize=16,color="green",shape="box"];1547[label="yu30\n  Eq a",fontsize=16,color="green",shape="box"];1548[label="primEqInt yu30 yu400",fontsize=16,color="burlywood",shape="triangle"];2239[label="yu30/Pos yu300",fontsize=10,color="white",style="solid",shape="box"];1548 -> 2239[label="",style="solid", color="burlywood", weight=9];
2239 -> 1567[label="",style="solid", color="burlywood", weight=3];
2240[label="yu30/Neg yu300",fontsize=10,color="white",style="solid",shape="box"];1548 -> 2240[label="",style="solid", color="burlywood", weight=9];
2240 -> 1568[label="",style="solid", color="burlywood", weight=3];
1549[label="(yu300,yu301,yu302) == yu400\n  Eq a  Eq b  Eq c",fontsize=16,color="burlywood",shape="box"];2241[label="yu400/(yu4000,yu4001,yu4002)",fontsize=10,color="white",style="solid",shape="box"];1549 -> 2241[label="",style="solid", color="burlywood", weight=9];
2241 -> 1569[label="",style="solid", color="burlywood", weight=3];
1550[label="LT == yu400",fontsize=16,color="burlywood",shape="box"];2242[label="yu400/LT",fontsize=10,color="white",style="solid",shape="box"];1550 -> 2242[label="",style="solid", color="burlywood", weight=9];
2242 -> 1570[label="",style="solid", color="burlywood", weight=3];
2243[label="yu400/EQ",fontsize=10,color="white",style="solid",shape="box"];1550 -> 2243[label="",style="solid", color="burlywood", weight=9];
2243 -> 1571[label="",style="solid", color="burlywood", weight=3];
2244[label="yu400/GT",fontsize=10,color="white",style="solid",shape="box"];1550 -> 2244[label="",style="solid", color="burlywood", weight=9];
2244 -> 1572[label="",style="solid", color="burlywood", weight=3];
1551[label="EQ == yu400",fontsize=16,color="burlywood",shape="box"];2245[label="yu400/LT",fontsize=10,color="white",style="solid",shape="box"];1551 -> 2245[label="",style="solid", color="burlywood", weight=9];
2245 -> 1573[label="",style="solid", color="burlywood", weight=3];
2246[label="yu400/EQ",fontsize=10,color="white",style="solid",shape="box"];1551 -> 2246[label="",style="solid", color="burlywood", weight=9];
2246 -> 1574[label="",style="solid", color="burlywood", weight=3];
2247[label="yu400/GT",fontsize=10,color="white",style="solid",shape="box"];1551 -> 2247[label="",style="solid", color="burlywood", weight=9];
2247 -> 1575[label="",style="solid", color="burlywood", weight=3];
1552[label="GT == yu400",fontsize=16,color="burlywood",shape="box"];2248[label="yu400/LT",fontsize=10,color="white",style="solid",shape="box"];1552 -> 2248[label="",style="solid", color="burlywood", weight=9];
2248 -> 1576[label="",style="solid", color="burlywood", weight=3];
2249[label="yu400/EQ",fontsize=10,color="white",style="solid",shape="box"];1552 -> 2249[label="",style="solid", color="burlywood", weight=9];
2249 -> 1577[label="",style="solid", color="burlywood", weight=3];
2250[label="yu400/GT",fontsize=10,color="white",style="solid",shape="box"];1552 -> 2250[label="",style="solid", color="burlywood", weight=9];
2250 -> 1578[label="",style="solid", color="burlywood", weight=3];
1553[label="(yu300,yu301) == yu400\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="box"];2251[label="yu400/(yu4000,yu4001)",fontsize=10,color="white",style="solid",shape="box"];1553 -> 2251[label="",style="solid", color="burlywood", weight=9];
2251 -> 1579[label="",style="solid", color="burlywood", weight=3];
1554[label="primEqChar yu30 yu400",fontsize=16,color="burlywood",shape="box"];2252[label="yu30/Char yu300",fontsize=10,color="white",style="solid",shape="box"];1554 -> 2252[label="",style="solid", color="burlywood", weight=9];
2252 -> 1580[label="",style="solid", color="burlywood", weight=3];
1555[label="Left yu300 == yu400\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="box"];2253[label="yu400/Left yu4000",fontsize=10,color="white",style="solid",shape="box"];1555 -> 2253[label="",style="solid", color="burlywood", weight=9];
2253 -> 1581[label="",style="solid", color="burlywood", weight=3];
2254[label="yu400/Right yu4000",fontsize=10,color="white",style="solid",shape="box"];1555 -> 2254[label="",style="solid", color="burlywood", weight=9];
2254 -> 1582[label="",style="solid", color="burlywood", weight=3];
1556[label="Right yu300 == yu400\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="box"];2255[label="yu400/Left yu4000",fontsize=10,color="white",style="solid",shape="box"];1556 -> 2255[label="",style="solid", color="burlywood", weight=9];
2255 -> 1583[label="",style="solid", color="burlywood", weight=3];
2256[label="yu400/Right yu4000",fontsize=10,color="white",style="solid",shape="box"];1556 -> 2256[label="",style="solid", color="burlywood", weight=9];
2256 -> 1584[label="",style="solid", color="burlywood", weight=3];
1557[label="yu300 : yu301 == yu400\n  Eq a",fontsize=16,color="burlywood",shape="box"];2257[label="yu400/yu4000 : yu4001",fontsize=10,color="white",style="solid",shape="box"];1557 -> 2257[label="",style="solid", color="burlywood", weight=9];
2257 -> 1585[label="",style="solid", color="burlywood", weight=3];
2258[label="yu400/[]",fontsize=10,color="white",style="solid",shape="box"];1557 -> 2258[label="",style="solid", color="burlywood", weight=9];
2258 -> 1586[label="",style="solid", color="burlywood", weight=3];
1558[label="[] == yu400\n  Eq a",fontsize=16,color="burlywood",shape="box"];2259[label="yu400/yu4000 : yu4001",fontsize=10,color="white",style="solid",shape="box"];1558 -> 2259[label="",style="solid", color="burlywood", weight=9];
2259 -> 1587[label="",style="solid", color="burlywood", weight=3];
2260[label="yu400/[]",fontsize=10,color="white",style="solid",shape="box"];1558 -> 2260[label="",style="solid", color="burlywood", weight=9];
2260 -> 1588[label="",style="solid", color="burlywood", weight=3];
1559[label="primEqDouble yu30 yu400",fontsize=16,color="burlywood",shape="box"];2261[label="yu30/Double yu300 yu301",fontsize=10,color="white",style="solid",shape="box"];1559 -> 2261[label="",style="solid", color="burlywood", weight=9];
2261 -> 1589[label="",style="solid", color="burlywood", weight=3];
1560[label="() == yu400",fontsize=16,color="burlywood",shape="box"];2262[label="yu400/()",fontsize=10,color="white",style="solid",shape="box"];1560 -> 2262[label="",style="solid", color="burlywood", weight=9];
2262 -> 1590[label="",style="solid", color="burlywood", weight=3];
1561[label="Integer yu300 == yu400",fontsize=16,color="burlywood",shape="box"];2263[label="yu400/Integer yu4000",fontsize=10,color="white",style="solid",shape="box"];1561 -> 2263[label="",style="solid", color="burlywood", weight=9];
2263 -> 1591[label="",style="solid", color="burlywood", weight=3];
1562[label="False == yu400",fontsize=16,color="burlywood",shape="box"];2264[label="yu400/False",fontsize=10,color="white",style="solid",shape="box"];1562 -> 2264[label="",style="solid", color="burlywood", weight=9];
2264 -> 1592[label="",style="solid", color="burlywood", weight=3];
2265[label="yu400/True",fontsize=10,color="white",style="solid",shape="box"];1562 -> 2265[label="",style="solid", color="burlywood", weight=9];
2265 -> 1593[label="",style="solid", color="burlywood", weight=3];
1563[label="True == yu400",fontsize=16,color="burlywood",shape="box"];2266[label="yu400/False",fontsize=10,color="white",style="solid",shape="box"];1563 -> 2266[label="",style="solid", color="burlywood", weight=9];
2266 -> 1594[label="",style="solid", color="burlywood", weight=3];
2267[label="yu400/True",fontsize=10,color="white",style="solid",shape="box"];1563 -> 2267[label="",style="solid", color="burlywood", weight=9];
2267 -> 1595[label="",style="solid", color="burlywood", weight=3];
1564[label="primEqFloat yu30 yu400",fontsize=16,color="burlywood",shape="box"];2268[label="yu30/Float yu300 yu301",fontsize=10,color="white",style="solid",shape="box"];1564 -> 2268[label="",style="solid", color="burlywood", weight=9];
2268 -> 1596[label="",style="solid", color="burlywood", weight=3];
2148[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (primPlusInt (Pos yu64) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos yu65) (Pos (Succ Zero)))))))\n  Eq a",fontsize=16,color="black",shape="box"];2148 -> 2151[label="",style="solid", color="black", weight=3];
1566[label="yu300 :% yu301 == yu4000 :% yu4001\n  Integral a",fontsize=16,color="black",shape="box"];1566 -> 1598[label="",style="solid", color="black", weight=3];
1567[label="primEqInt (Pos yu300) yu400",fontsize=16,color="burlywood",shape="box"];2269[label="yu300/Succ yu3000",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2269[label="",style="solid", color="burlywood", weight=9];
2269 -> 1599[label="",style="solid", color="burlywood", weight=3];
2270[label="yu300/Zero",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2270[label="",style="solid", color="burlywood", weight=9];
2270 -> 1600[label="",style="solid", color="burlywood", weight=3];
1568[label="primEqInt (Neg yu300) yu400",fontsize=16,color="burlywood",shape="box"];2271[label="yu300/Succ yu3000",fontsize=10,color="white",style="solid",shape="box"];1568 -> 2271[label="",style="solid", color="burlywood", weight=9];
2271 -> 1601[label="",style="solid", color="burlywood", weight=3];
2272[label="yu300/Zero",fontsize=10,color="white",style="solid",shape="box"];1568 -> 2272[label="",style="solid", color="burlywood", weight=9];
2272 -> 1602[label="",style="solid", color="burlywood", weight=3];
1569[label="(yu300,yu301,yu302) == (yu4000,yu4001,yu4002)\n  Eq a  Eq b  Eq c",fontsize=16,color="black",shape="box"];1569 -> 1603[label="",style="solid", color="black", weight=3];
1570[label="LT == LT",fontsize=16,color="black",shape="box"];1570 -> 1604[label="",style="solid", color="black", weight=3];
1571[label="LT == EQ",fontsize=16,color="black",shape="box"];1571 -> 1605[label="",style="solid", color="black", weight=3];
1572[label="LT == GT",fontsize=16,color="black",shape="box"];1572 -> 1606[label="",style="solid", color="black", weight=3];
1573[label="EQ == LT",fontsize=16,color="black",shape="box"];1573 -> 1607[label="",style="solid", color="black", weight=3];
1574[label="EQ == EQ",fontsize=16,color="black",shape="box"];1574 -> 1608[label="",style="solid", color="black", weight=3];
1575[label="EQ == GT",fontsize=16,color="black",shape="box"];1575 -> 1609[label="",style="solid", color="black", weight=3];
1576[label="GT == LT",fontsize=16,color="black",shape="box"];1576 -> 1610[label="",style="solid", color="black", weight=3];
1577[label="GT == EQ",fontsize=16,color="black",shape="box"];1577 -> 1611[label="",style="solid", color="black", weight=3];
1578[label="GT == GT",fontsize=16,color="black",shape="box"];1578 -> 1612[label="",style="solid", color="black", weight=3];
1579[label="(yu300,yu301) == (yu4000,yu4001)\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];1579 -> 1613[label="",style="solid", color="black", weight=3];
1580[label="primEqChar (Char yu300) yu400",fontsize=16,color="burlywood",shape="box"];2273[label="yu400/Char yu4000",fontsize=10,color="white",style="solid",shape="box"];1580 -> 2273[label="",style="solid", color="burlywood", weight=9];
2273 -> 1614[label="",style="solid", color="burlywood", weight=3];
1581[label="Left yu300 == Left yu4000\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];1581 -> 1615[label="",style="solid", color="black", weight=3];
1582[label="Left yu300 == Right yu4000\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];1582 -> 1616[label="",style="solid", color="black", weight=3];
1583[label="Right yu300 == Left yu4000\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];1583 -> 1617[label="",style="solid", color="black", weight=3];
1584[label="Right yu300 == Right yu4000\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];1584 -> 1618[label="",style="solid", color="black", weight=3];
1585[label="yu300 : yu301 == yu4000 : yu4001\n  Eq a",fontsize=16,color="black",shape="box"];1585 -> 1619[label="",style="solid", color="black", weight=3];
1586[label="yu300 : yu301 == []\n  Eq a",fontsize=16,color="black",shape="box"];1586 -> 1620[label="",style="solid", color="black", weight=3];
1587[label="[] == yu4000 : yu4001\n  Eq a",fontsize=16,color="black",shape="box"];1587 -> 1621[label="",style="solid", color="black", weight=3];
1588[label="[] == []\n  Eq a",fontsize=16,color="black",shape="box"];1588 -> 1622[label="",style="solid", color="black", weight=3];
1589[label="primEqDouble (Double yu300 yu301) yu400",fontsize=16,color="burlywood",shape="box"];2274[label="yu400/Double yu4000 yu4001",fontsize=10,color="white",style="solid",shape="box"];1589 -> 2274[label="",style="solid", color="burlywood", weight=9];
2274 -> 1623[label="",style="solid", color="burlywood", weight=3];
1590[label="() == ()",fontsize=16,color="black",shape="box"];1590 -> 1624[label="",style="solid", color="black", weight=3];
1591[label="Integer yu300 == Integer yu4000",fontsize=16,color="black",shape="box"];1591 -> 1625[label="",style="solid", color="black", weight=3];
1592[label="False == False",fontsize=16,color="black",shape="box"];1592 -> 1626[label="",style="solid", color="black", weight=3];
1593[label="False == True",fontsize=16,color="black",shape="box"];1593 -> 1627[label="",style="solid", color="black", weight=3];
1594[label="True == False",fontsize=16,color="black",shape="box"];1594 -> 1628[label="",style="solid", color="black", weight=3];
1595[label="True == True",fontsize=16,color="black",shape="box"];1595 -> 1629[label="",style="solid", color="black", weight=3];
1596[label="primEqFloat (Float yu300 yu301) yu400",fontsize=16,color="burlywood",shape="box"];2275[label="yu400/Float yu4000 yu4001",fontsize=10,color="white",style="solid",shape="box"];1596 -> 2275[label="",style="solid", color="burlywood", weight=9];
2275 -> 1630[label="",style="solid", color="burlywood", weight=3];
2151 -> 2153[label="",style="dashed", color="red", weight=0];
2151[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (Pos (primPlusNat yu64 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat yu64 (Succ Zero)))))))\n  Eq a",fontsize=16,color="magenta"];2151 -> 2154[label="",style="dashed", color="magenta", weight=3];
2151 -> 2155[label="",style="dashed", color="magenta", weight=3];
1598 -> 1697[label="",style="dashed", color="red", weight=0];
1598[label="yu300 == yu4000 && yu301 == yu4001\n  Integral a",fontsize=16,color="magenta"];1598 -> 1698[label="",style="dashed", color="magenta", weight=3];
1598 -> 1699[label="",style="dashed", color="magenta", weight=3];
1599[label="primEqInt (Pos (Succ yu3000)) yu400",fontsize=16,color="burlywood",shape="box"];2278[label="yu400/Pos yu4000",fontsize=10,color="white",style="solid",shape="box"];1599 -> 2278[label="",style="solid", color="burlywood", weight=9];
2278 -> 1642[label="",style="solid", color="burlywood", weight=3];
2279[label="yu400/Neg yu4000",fontsize=10,color="white",style="solid",shape="box"];1599 -> 2279[label="",style="solid", color="burlywood", weight=9];
2279 -> 1643[label="",style="solid", color="burlywood", weight=3];
1600[label="primEqInt (Pos Zero) yu400",fontsize=16,color="burlywood",shape="box"];2280[label="yu400/Pos yu4000",fontsize=10,color="white",style="solid",shape="box"];1600 -> 2280[label="",style="solid", color="burlywood", weight=9];
2280 -> 1644[label="",style="solid", color="burlywood", weight=3];
2281[label="yu400/Neg yu4000",fontsize=10,color="white",style="solid",shape="box"];1600 -> 2281[label="",style="solid", color="burlywood", weight=9];
2281 -> 1645[label="",style="solid", color="burlywood", weight=3];
1601[label="primEqInt (Neg (Succ yu3000)) yu400",fontsize=16,color="burlywood",shape="box"];2282[label="yu400/Pos yu4000",fontsize=10,color="white",style="solid",shape="box"];1601 -> 2282[label="",style="solid", color="burlywood", weight=9];
2282 -> 1646[label="",style="solid", color="burlywood", weight=3];
2283[label="yu400/Neg yu4000",fontsize=10,color="white",style="solid",shape="box"];1601 -> 2283[label="",style="solid", color="burlywood", weight=9];
2283 -> 1647[label="",style="solid", color="burlywood", weight=3];
1602[label="primEqInt (Neg Zero) yu400",fontsize=16,color="burlywood",shape="box"];2284[label="yu400/Pos yu4000",fontsize=10,color="white",style="solid",shape="box"];1602 -> 2284[label="",style="solid", color="burlywood", weight=9];
2284 -> 1648[label="",style="solid", color="burlywood", weight=3];
2285[label="yu400/Neg yu4000",fontsize=10,color="white",style="solid",shape="box"];1602 -> 2285[label="",style="solid", color="burlywood", weight=9];
2285 -> 1649[label="",style="solid", color="burlywood", weight=3];
1603 -> 1697[label="",style="dashed", color="red", weight=0];
1603[label="yu300 == yu4000 && yu301 == yu4001 && yu302 == yu4002\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1603 -> 1700[label="",style="dashed", color="magenta", weight=3];
1603 -> 1701[label="",style="dashed", color="magenta", weight=3];
1604[label="True",fontsize=16,color="green",shape="box"];1605[label="False",fontsize=16,color="green",shape="box"];1606[label="False",fontsize=16,color="green",shape="box"];1607[label="False",fontsize=16,color="green",shape="box"];1608[label="True",fontsize=16,color="green",shape="box"];1609[label="False",fontsize=16,color="green",shape="box"];1610[label="False",fontsize=16,color="green",shape="box"];1611[label="False",fontsize=16,color="green",shape="box"];1612[label="True",fontsize=16,color="green",shape="box"];1613 -> 1697[label="",style="dashed", color="red", weight=0];
1613[label="yu300 == yu4000 && yu301 == yu4001\n  Eq a  Eq b",fontsize=16,color="magenta"];1613 -> 1702[label="",style="dashed", color="magenta", weight=3];
1613 -> 1703[label="",style="dashed", color="magenta", weight=3];
1614[label="primEqChar (Char yu300) (Char yu4000)",fontsize=16,color="black",shape="box"];1614 -> 1661[label="",style="solid", color="black", weight=3];
1615[label="yu300 == yu4000\n  Eq a",fontsize=16,color="blue",shape="box"];2288[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1615 -> 2288[label="",style="solid", color="blue", weight=9];
2288 -> 1662[label="",style="solid", color="blue", weight=3];
2289[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1615 -> 2289[label="",style="solid", color="blue", weight=9];
2289 -> 1663[label="",style="solid", color="blue", weight=3];
2290[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1615 -> 2290[label="",style="solid", color="blue", weight=9];
2290 -> 1664[label="",style="solid", color="blue", weight=3];
2291[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1615 -> 2291[label="",style="solid", color="blue", weight=9];
2291 -> 1665[label="",style="solid", color="blue", weight=3];
2292[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1615 -> 2292[label="",style="solid", color="blue", weight=9];
2292 -> 1666[label="",style="solid", color="blue", weight=3];
2293[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1615 -> 2293[label="",style="solid", color="blue", weight=9];
2293 -> 1667[label="",style="solid", color="blue", weight=3];
2294[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1615 -> 2294[label="",style="solid", color="blue", weight=9];
2294 -> 1668[label="",style="solid", color="blue", weight=3];
2295[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1615 -> 2295[label="",style="solid", color="blue", weight=9];
2295 -> 1669[label="",style="solid", color="blue", weight=3];
2296[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1615 -> 2296[label="",style="solid", color="blue", weight=9];
2296 -> 1670[label="",style="solid", color="blue", weight=3];
2297[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1615 -> 2297[label="",style="solid", color="blue", weight=9];
2297 -> 1671[label="",style="solid", color="blue", weight=3];
2298[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1615 -> 2298[label="",style="solid", color="blue", weight=9];
2298 -> 1672[label="",style="solid", color="blue", weight=3];
2299[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1615 -> 2299[label="",style="solid", color="blue", weight=9];
2299 -> 1673[label="",style="solid", color="blue", weight=3];
2300[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1615 -> 2300[label="",style="solid", color="blue", weight=9];
2300 -> 1674[label="",style="solid", color="blue", weight=3];
2301[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1615 -> 2301[label="",style="solid", color="blue", weight=9];
2301 -> 1675[label="",style="solid", color="blue", weight=3];
1616[label="False",fontsize=16,color="green",shape="box"];1617[label="False",fontsize=16,color="green",shape="box"];1618[label="yu300 == yu4000\n  Eq a",fontsize=16,color="blue",shape="box"];2302[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1618 -> 2302[label="",style="solid", color="blue", weight=9];
2302 -> 1676[label="",style="solid", color="blue", weight=3];
2303[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1618 -> 2303[label="",style="solid", color="blue", weight=9];
2303 -> 1677[label="",style="solid", color="blue", weight=3];
2304[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1618 -> 2304[label="",style="solid", color="blue", weight=9];
2304 -> 1678[label="",style="solid", color="blue", weight=3];
2305[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1618 -> 2305[label="",style="solid", color="blue", weight=9];
2305 -> 1679[label="",style="solid", color="blue", weight=3];
2306[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1618 -> 2306[label="",style="solid", color="blue", weight=9];
2306 -> 1680[label="",style="solid", color="blue", weight=3];
2307[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1618 -> 2307[label="",style="solid", color="blue", weight=9];
2307 -> 1681[label="",style="solid", color="blue", weight=3];
2308[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1618 -> 2308[label="",style="solid", color="blue", weight=9];
2308 -> 1682[label="",style="solid", color="blue", weight=3];
2309[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1618 -> 2309[label="",style="solid", color="blue", weight=9];
2309 -> 1683[label="",style="solid", color="blue", weight=3];
2310[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1618 -> 2310[label="",style="solid", color="blue", weight=9];
2310 -> 1684[label="",style="solid", color="blue", weight=3];
2311[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1618 -> 2311[label="",style="solid", color="blue", weight=9];
2311 -> 1685[label="",style="solid", color="blue", weight=3];
2312[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1618 -> 2312[label="",style="solid", color="blue", weight=9];
2312 -> 1686[label="",style="solid", color="blue", weight=3];
2313[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1618 -> 2313[label="",style="solid", color="blue", weight=9];
2313 -> 1687[label="",style="solid", color="blue", weight=3];
2314[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1618 -> 2314[label="",style="solid", color="blue", weight=9];
2314 -> 1688[label="",style="solid", color="blue", weight=3];
2315[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1618 -> 2315[label="",style="solid", color="blue", weight=9];
2315 -> 1689[label="",style="solid", color="blue", weight=3];
1619 -> 1697[label="",style="dashed", color="red", weight=0];
1619[label="yu300 == yu4000 && yu301 == yu4001\n  Eq a",fontsize=16,color="magenta"];1619 -> 1704[label="",style="dashed", color="magenta", weight=3];
1619 -> 1705[label="",style="dashed", color="magenta", weight=3];
1620[label="False",fontsize=16,color="green",shape="box"];1621[label="False",fontsize=16,color="green",shape="box"];1622[label="True",fontsize=16,color="green",shape="box"];1623[label="primEqDouble (Double yu300 yu301) (Double yu4000 yu4001)",fontsize=16,color="black",shape="box"];1623 -> 1690[label="",style="solid", color="black", weight=3];
1624[label="True",fontsize=16,color="green",shape="box"];1625 -> 1548[label="",style="dashed", color="red", weight=0];
1625[label="primEqInt yu300 yu4000",fontsize=16,color="magenta"];1625 -> 1691[label="",style="dashed", color="magenta", weight=3];
1625 -> 1692[label="",style="dashed", color="magenta", weight=3];
1626[label="True",fontsize=16,color="green",shape="box"];1627[label="False",fontsize=16,color="green",shape="box"];1628[label="False",fontsize=16,color="green",shape="box"];1629[label="True",fontsize=16,color="green",shape="box"];1630[label="primEqFloat (Float yu300 yu301) (Float yu4000 yu4001)",fontsize=16,color="black",shape="box"];1630 -> 1693[label="",style="solid", color="black", weight=3];
2154 -> 2141[label="",style="dashed", color="red", weight=0];
2154[label="primPlusNat yu64 (Succ Zero)",fontsize=16,color="magenta"];2154 -> 2156[label="",style="dashed", color="magenta", weight=3];
2154 -> 2157[label="",style="dashed", color="magenta", weight=3];
2155 -> 2141[label="",style="dashed", color="red", weight=0];
2155[label="primPlusNat yu64 (Succ Zero)",fontsize=16,color="magenta"];2155 -> 2158[label="",style="dashed", color="magenta", weight=3];
2155 -> 2159[label="",style="dashed", color="magenta", weight=3];
2153[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (enforceWHNF (WHNF (Pos yu68)) (numericEnumFrom (Pos yu67)))))\n  Eq a",fontsize=16,color="black",shape="triangle"];2153 -> 2160[label="",style="solid", color="black", weight=3];
1698[label="yu301 == yu4001\n  Integral a",fontsize=16,color="blue",shape="box"];2320[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1698 -> 2320[label="",style="solid", color="blue", weight=9];
2320 -> 1710[label="",style="solid", color="blue", weight=3];
2321[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1698 -> 2321[label="",style="solid", color="blue", weight=9];
2321 -> 1711[label="",style="solid", color="blue", weight=3];
1699[label="yu300 == yu4000\n  Integral a",fontsize=16,color="blue",shape="box"];2322[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1699 -> 2322[label="",style="solid", color="blue", weight=9];
2322 -> 1712[label="",style="solid", color="blue", weight=3];
2323[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1699 -> 2323[label="",style="solid", color="blue", weight=9];
2323 -> 1713[label="",style="solid", color="blue", weight=3];
1697[label="yu62 && yu63",fontsize=16,color="burlywood",shape="triangle"];2324[label="yu62/False",fontsize=10,color="white",style="solid",shape="box"];1697 -> 2324[label="",style="solid", color="burlywood", weight=9];
2324 -> 1714[label="",style="solid", color="burlywood", weight=3];
2325[label="yu62/True",fontsize=10,color="white",style="solid",shape="box"];1697 -> 2325[label="",style="solid", color="burlywood", weight=9];
2325 -> 1715[label="",style="solid", color="burlywood", weight=3];
1642[label="primEqInt (Pos (Succ yu3000)) (Pos yu4000)",fontsize=16,color="burlywood",shape="box"];2326[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1642 -> 2326[label="",style="solid", color="burlywood", weight=9];
2326 -> 1716[label="",style="solid", color="burlywood", weight=3];
2327[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1642 -> 2327[label="",style="solid", color="burlywood", weight=9];
2327 -> 1717[label="",style="solid", color="burlywood", weight=3];
1643[label="primEqInt (Pos (Succ yu3000)) (Neg yu4000)",fontsize=16,color="black",shape="box"];1643 -> 1718[label="",style="solid", color="black", weight=3];
1644[label="primEqInt (Pos Zero) (Pos yu4000)",fontsize=16,color="burlywood",shape="box"];2328[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1644 -> 2328[label="",style="solid", color="burlywood", weight=9];
2328 -> 1719[label="",style="solid", color="burlywood", weight=3];
2329[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1644 -> 2329[label="",style="solid", color="burlywood", weight=9];
2329 -> 1720[label="",style="solid", color="burlywood", weight=3];
1645[label="primEqInt (Pos Zero) (Neg yu4000)",fontsize=16,color="burlywood",shape="box"];2330[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1645 -> 2330[label="",style="solid", color="burlywood", weight=9];
2330 -> 1721[label="",style="solid", color="burlywood", weight=3];
2331[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1645 -> 2331[label="",style="solid", color="burlywood", weight=9];
2331 -> 1722[label="",style="solid", color="burlywood", weight=3];
1646[label="primEqInt (Neg (Succ yu3000)) (Pos yu4000)",fontsize=16,color="black",shape="box"];1646 -> 1723[label="",style="solid", color="black", weight=3];
1647[label="primEqInt (Neg (Succ yu3000)) (Neg yu4000)",fontsize=16,color="burlywood",shape="box"];2332[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1647 -> 2332[label="",style="solid", color="burlywood", weight=9];
2332 -> 1724[label="",style="solid", color="burlywood", weight=3];
2333[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1647 -> 2333[label="",style="solid", color="burlywood", weight=9];
2333 -> 1725[label="",style="solid", color="burlywood", weight=3];
1648[label="primEqInt (Neg Zero) (Pos yu4000)",fontsize=16,color="burlywood",shape="box"];2334[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1648 -> 2334[label="",style="solid", color="burlywood", weight=9];
2334 -> 1726[label="",style="solid", color="burlywood", weight=3];
2335[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1648 -> 2335[label="",style="solid", color="burlywood", weight=9];
2335 -> 1727[label="",style="solid", color="burlywood", weight=3];
1649[label="primEqInt (Neg Zero) (Neg yu4000)",fontsize=16,color="burlywood",shape="box"];2336[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1649 -> 2336[label="",style="solid", color="burlywood", weight=9];
2336 -> 1728[label="",style="solid", color="burlywood", weight=3];
2337[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1649 -> 2337[label="",style="solid", color="burlywood", weight=9];
2337 -> 1729[label="",style="solid", color="burlywood", weight=3];
1700 -> 1697[label="",style="dashed", color="red", weight=0];
1700[label="yu301 == yu4001 && yu302 == yu4002\n  Eq a  Eq b",fontsize=16,color="magenta"];1700 -> 1730[label="",style="dashed", color="magenta", weight=3];
1700 -> 1731[label="",style="dashed", color="magenta", weight=3];
1701[label="yu300 == yu4000\n  Eq a",fontsize=16,color="blue",shape="box"];2339[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2339[label="",style="solid", color="blue", weight=9];
2339 -> 1732[label="",style="solid", color="blue", weight=3];
2340[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2340[label="",style="solid", color="blue", weight=9];
2340 -> 1733[label="",style="solid", color="blue", weight=3];
2341[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2341[label="",style="solid", color="blue", weight=9];
2341 -> 1734[label="",style="solid", color="blue", weight=3];
2342[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2342[label="",style="solid", color="blue", weight=9];
2342 -> 1735[label="",style="solid", color="blue", weight=3];
2343[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2343[label="",style="solid", color="blue", weight=9];
2343 -> 1736[label="",style="solid", color="blue", weight=3];
2344[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2344[label="",style="solid", color="blue", weight=9];
2344 -> 1737[label="",style="solid", color="blue", weight=3];
2345[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2345[label="",style="solid", color="blue", weight=9];
2345 -> 1738[label="",style="solid", color="blue", weight=3];
2346[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2346[label="",style="solid", color="blue", weight=9];
2346 -> 1739[label="",style="solid", color="blue", weight=3];
2347[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2347[label="",style="solid", color="blue", weight=9];
2347 -> 1740[label="",style="solid", color="blue", weight=3];
2348[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2348[label="",style="solid", color="blue", weight=9];
2348 -> 1741[label="",style="solid", color="blue", weight=3];
2349[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2349[label="",style="solid", color="blue", weight=9];
2349 -> 1742[label="",style="solid", color="blue", weight=3];
2350[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2350[label="",style="solid", color="blue", weight=9];
2350 -> 1743[label="",style="solid", color="blue", weight=3];
2351[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2351[label="",style="solid", color="blue", weight=9];
2351 -> 1744[label="",style="solid", color="blue", weight=3];
2352[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2352[label="",style="solid", color="blue", weight=9];
2352 -> 1745[label="",style="solid", color="blue", weight=3];
1702[label="yu301 == yu4001\n  Eq a",fontsize=16,color="blue",shape="box"];2353[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2353[label="",style="solid", color="blue", weight=9];
2353 -> 1746[label="",style="solid", color="blue", weight=3];
2354[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2354[label="",style="solid", color="blue", weight=9];
2354 -> 1747[label="",style="solid", color="blue", weight=3];
2355[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2355[label="",style="solid", color="blue", weight=9];
2355 -> 1748[label="",style="solid", color="blue", weight=3];
2356[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2356[label="",style="solid", color="blue", weight=9];
2356 -> 1749[label="",style="solid", color="blue", weight=3];
2357[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2357[label="",style="solid", color="blue", weight=9];
2357 -> 1750[label="",style="solid", color="blue", weight=3];
2358[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2358[label="",style="solid", color="blue", weight=9];
2358 -> 1751[label="",style="solid", color="blue", weight=3];
2359[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2359[label="",style="solid", color="blue", weight=9];
2359 -> 1752[label="",style="solid", color="blue", weight=3];
2360[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2360[label="",style="solid", color="blue", weight=9];
2360 -> 1753[label="",style="solid", color="blue", weight=3];
2361[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2361[label="",style="solid", color="blue", weight=9];
2361 -> 1754[label="",style="solid", color="blue", weight=3];
2362[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2362[label="",style="solid", color="blue", weight=9];
2362 -> 1755[label="",style="solid", color="blue", weight=3];
2363[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2363[label="",style="solid", color="blue", weight=9];
2363 -> 1756[label="",style="solid", color="blue", weight=3];
2364[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2364[label="",style="solid", color="blue", weight=9];
2364 -> 1757[label="",style="solid", color="blue", weight=3];
2365[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2365[label="",style="solid", color="blue", weight=9];
2365 -> 1758[label="",style="solid", color="blue", weight=3];
2366[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2366[label="",style="solid", color="blue", weight=9];
2366 -> 1759[label="",style="solid", color="blue", weight=3];
1703[label="yu300 == yu4000\n  Eq a",fontsize=16,color="blue",shape="box"];2367[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1703 -> 2367[label="",style="solid", color="blue", weight=9];
2367 -> 1760[label="",style="solid", color="blue", weight=3];
2368[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1703 -> 2368[label="",style="solid", color="blue", weight=9];
2368 -> 1761[label="",style="solid", color="blue", weight=3];
2369[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1703 -> 2369[label="",style="solid", color="blue", weight=9];
2369 -> 1762[label="",style="solid", color="blue", weight=3];
2370[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1703 -> 2370[label="",style="solid", color="blue", weight=9];
2370 -> 1763[label="",style="solid", color="blue", weight=3];
2371[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1703 -> 2371[label="",style="solid", color="blue", weight=9];
2371 -> 1764[label="",style="solid", color="blue", weight=3];
2372[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1703 -> 2372[label="",style="solid", color="blue", weight=9];
2372 -> 1765[label="",style="solid", color="blue", weight=3];
2373[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1703 -> 2373[label="",style="solid", color="blue", weight=9];
2373 -> 1766[label="",style="solid", color="blue", weight=3];
2374[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1703 -> 2374[label="",style="solid", color="blue", weight=9];
2374 -> 1767[label="",style="solid", color="blue", weight=3];
2375[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1703 -> 2375[label="",style="solid", color="blue", weight=9];
2375 -> 1768[label="",style="solid", color="blue", weight=3];
2376[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1703 -> 2376[label="",style="solid", color="blue", weight=9];
2376 -> 1769[label="",style="solid", color="blue", weight=3];
2377[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1703 -> 2377[label="",style="solid", color="blue", weight=9];
2377 -> 1770[label="",style="solid", color="blue", weight=3];
2378[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1703 -> 2378[label="",style="solid", color="blue", weight=9];
2378 -> 1771[label="",style="solid", color="blue", weight=3];
2379[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1703 -> 2379[label="",style="solid", color="blue", weight=9];
2379 -> 1772[label="",style="solid", color="blue", weight=3];
2380[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1703 -> 2380[label="",style="solid", color="blue", weight=9];
2380 -> 1773[label="",style="solid", color="blue", weight=3];
1661[label="primEqNat yu300 yu4000",fontsize=16,color="burlywood",shape="triangle"];2381[label="yu300/Succ yu3000",fontsize=10,color="white",style="solid",shape="box"];1661 -> 2381[label="",style="solid", color="burlywood", weight=9];
2381 -> 1774[label="",style="solid", color="burlywood", weight=3];
2382[label="yu300/Zero",fontsize=10,color="white",style="solid",shape="box"];1661 -> 2382[label="",style="solid", color="burlywood", weight=9];
2382 -> 1775[label="",style="solid", color="burlywood", weight=3];
1662 -> 1529[label="",style="dashed", color="red", weight=0];
1662[label="yu300 == yu4000\n  Integral a",fontsize=16,color="magenta"];1662 -> 1776[label="",style="dashed", color="magenta", weight=3];
1662 -> 1777[label="",style="dashed", color="magenta", weight=3];
1663 -> 1483[label="",style="dashed", color="red", weight=0];
1663[label="yu300 == yu4000\n  Eq a",fontsize=16,color="magenta"];1663 -> 1778[label="",style="dashed", color="magenta", weight=3];
1663 -> 1779[label="",style="dashed", color="magenta", weight=3];
1664 -> 1531[label="",style="dashed", color="red", weight=0];
1664[label="yu300 == yu4000",fontsize=16,color="magenta"];1664 -> 1780[label="",style="dashed", color="magenta", weight=3];
1664 -> 1781[label="",style="dashed", color="magenta", weight=3];
1665 -> 1532[label="",style="dashed", color="red", weight=0];
1665[label="yu300 == yu4000\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1665 -> 1782[label="",style="dashed", color="magenta", weight=3];
1665 -> 1783[label="",style="dashed", color="magenta", weight=3];
1666 -> 1533[label="",style="dashed", color="red", weight=0];
1666[label="yu300 == yu4000",fontsize=16,color="magenta"];1666 -> 1784[label="",style="dashed", color="magenta", weight=3];
1666 -> 1785[label="",style="dashed", color="magenta", weight=3];
1667 -> 1534[label="",style="dashed", color="red", weight=0];
1667[label="yu300 == yu4000\n  Eq a  Eq b",fontsize=16,color="magenta"];1667 -> 1786[label="",style="dashed", color="magenta", weight=3];
1667 -> 1787[label="",style="dashed", color="magenta", weight=3];
1668 -> 1535[label="",style="dashed", color="red", weight=0];
1668[label="yu300 == yu4000",fontsize=16,color="magenta"];1668 -> 1788[label="",style="dashed", color="magenta", weight=3];
1668 -> 1789[label="",style="dashed", color="magenta", weight=3];
1669 -> 1536[label="",style="dashed", color="red", weight=0];
1669[label="yu300 == yu4000\n  Eq a  Eq b",fontsize=16,color="magenta"];1669 -> 1790[label="",style="dashed", color="magenta", weight=3];
1669 -> 1791[label="",style="dashed", color="magenta", weight=3];
1670 -> 1537[label="",style="dashed", color="red", weight=0];
1670[label="yu300 == yu4000\n  Eq a",fontsize=16,color="magenta"];1670 -> 1792[label="",style="dashed", color="magenta", weight=3];
1670 -> 1793[label="",style="dashed", color="magenta", weight=3];
1671 -> 1538[label="",style="dashed", color="red", weight=0];
1671[label="yu300 == yu4000",fontsize=16,color="magenta"];1671 -> 1794[label="",style="dashed", color="magenta", weight=3];
1671 -> 1795[label="",style="dashed", color="magenta", weight=3];
1672 -> 1539[label="",style="dashed", color="red", weight=0];
1672[label="yu300 == yu4000",fontsize=16,color="magenta"];1672 -> 1796[label="",style="dashed", color="magenta", weight=3];
1672 -> 1797[label="",style="dashed", color="magenta", weight=3];
1673 -> 1540[label="",style="dashed", color="red", weight=0];
1673[label="yu300 == yu4000",fontsize=16,color="magenta"];1673 -> 1798[label="",style="dashed", color="magenta", weight=3];
1673 -> 1799[label="",style="dashed", color="magenta", weight=3];
1674 -> 1541[label="",style="dashed", color="red", weight=0];
1674[label="yu300 == yu4000",fontsize=16,color="magenta"];1674 -> 1800[label="",style="dashed", color="magenta", weight=3];
1674 -> 1801[label="",style="dashed", color="magenta", weight=3];
1675 -> 1542[label="",style="dashed", color="red", weight=0];
1675[label="yu300 == yu4000",fontsize=16,color="magenta"];1675 -> 1802[label="",style="dashed", color="magenta", weight=3];
1675 -> 1803[label="",style="dashed", color="magenta", weight=3];
1676 -> 1529[label="",style="dashed", color="red", weight=0];
1676[label="yu300 == yu4000\n  Integral a",fontsize=16,color="magenta"];1676 -> 1804[label="",style="dashed", color="magenta", weight=3];
1676 -> 1805[label="",style="dashed", color="magenta", weight=3];
1677 -> 1483[label="",style="dashed", color="red", weight=0];
1677[label="yu300 == yu4000\n  Eq a",fontsize=16,color="magenta"];1677 -> 1806[label="",style="dashed", color="magenta", weight=3];
1677 -> 1807[label="",style="dashed", color="magenta", weight=3];
1678 -> 1531[label="",style="dashed", color="red", weight=0];
1678[label="yu300 == yu4000",fontsize=16,color="magenta"];1678 -> 1808[label="",style="dashed", color="magenta", weight=3];
1678 -> 1809[label="",style="dashed", color="magenta", weight=3];
1679 -> 1532[label="",style="dashed", color="red", weight=0];
1679[label="yu300 == yu4000\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1679 -> 1810[label="",style="dashed", color="magenta", weight=3];
1679 -> 1811[label="",style="dashed", color="magenta", weight=3];
1680 -> 1533[label="",style="dashed", color="red", weight=0];
1680[label="yu300 == yu4000",fontsize=16,color="magenta"];1680 -> 1812[label="",style="dashed", color="magenta", weight=3];
1680 -> 1813[label="",style="dashed", color="magenta", weight=3];
1681 -> 1534[label="",style="dashed", color="red", weight=0];
1681[label="yu300 == yu4000\n  Eq a  Eq b",fontsize=16,color="magenta"];1681 -> 1814[label="",style="dashed", color="magenta", weight=3];
1681 -> 1815[label="",style="dashed", color="magenta", weight=3];
1682 -> 1535[label="",style="dashed", color="red", weight=0];
1682[label="yu300 == yu4000",fontsize=16,color="magenta"];1682 -> 1816[label="",style="dashed", color="magenta", weight=3];
1682 -> 1817[label="",style="dashed", color="magenta", weight=3];
1683 -> 1536[label="",style="dashed", color="red", weight=0];
1683[label="yu300 == yu4000\n  Eq a  Eq b",fontsize=16,color="magenta"];1683 -> 1818[label="",style="dashed", color="magenta", weight=3];
1683 -> 1819[label="",style="dashed", color="magenta", weight=3];
1684 -> 1537[label="",style="dashed", color="red", weight=0];
1684[label="yu300 == yu4000\n  Eq a",fontsize=16,color="magenta"];1684 -> 1820[label="",style="dashed", color="magenta", weight=3];
1684 -> 1821[label="",style="dashed", color="magenta", weight=3];
1685 -> 1538[label="",style="dashed", color="red", weight=0];
1685[label="yu300 == yu4000",fontsize=16,color="magenta"];1685 -> 1822[label="",style="dashed", color="magenta", weight=3];
1685 -> 1823[label="",style="dashed", color="magenta", weight=3];
1686 -> 1539[label="",style="dashed", color="red", weight=0];
1686[label="yu300 == yu4000",fontsize=16,color="magenta"];1686 -> 1824[label="",style="dashed", color="magenta", weight=3];
1686 -> 1825[label="",style="dashed", color="magenta", weight=3];
1687 -> 1540[label="",style="dashed", color="red", weight=0];
1687[label="yu300 == yu4000",fontsize=16,color="magenta"];1687 -> 1826[label="",style="dashed", color="magenta", weight=3];
1687 -> 1827[label="",style="dashed", color="magenta", weight=3];
1688 -> 1541[label="",style="dashed", color="red", weight=0];
1688[label="yu300 == yu4000",fontsize=16,color="magenta"];1688 -> 1828[label="",style="dashed", color="magenta", weight=3];
1688 -> 1829[label="",style="dashed", color="magenta", weight=3];
1689 -> 1542[label="",style="dashed", color="red", weight=0];
1689[label="yu300 == yu4000",fontsize=16,color="magenta"];1689 -> 1830[label="",style="dashed", color="magenta", weight=3];
1689 -> 1831[label="",style="dashed", color="magenta", weight=3];
1704 -> 1537[label="",style="dashed", color="red", weight=0];
1704[label="yu301 == yu4001\n  Eq a",fontsize=16,color="magenta"];1704 -> 1832[label="",style="dashed", color="magenta", weight=3];
1704 -> 1833[label="",style="dashed", color="magenta", weight=3];
1705[label="yu300 == yu4000\n  Eq a",fontsize=16,color="blue",shape="box"];2412[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1705 -> 2412[label="",style="solid", color="blue", weight=9];
2412 -> 1834[label="",style="solid", color="blue", weight=3];
2413[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1705 -> 2413[label="",style="solid", color="blue", weight=9];
2413 -> 1835[label="",style="solid", color="blue", weight=3];
2414[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1705 -> 2414[label="",style="solid", color="blue", weight=9];
2414 -> 1836[label="",style="solid", color="blue", weight=3];
2415[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1705 -> 2415[label="",style="solid", color="blue", weight=9];
2415 -> 1837[label="",style="solid", color="blue", weight=3];
2416[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1705 -> 2416[label="",style="solid", color="blue", weight=9];
2416 -> 1838[label="",style="solid", color="blue", weight=3];
2417[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1705 -> 2417[label="",style="solid", color="blue", weight=9];
2417 -> 1839[label="",style="solid", color="blue", weight=3];
2418[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1705 -> 2418[label="",style="solid", color="blue", weight=9];
2418 -> 1840[label="",style="solid", color="blue", weight=3];
2419[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1705 -> 2419[label="",style="solid", color="blue", weight=9];
2419 -> 1841[label="",style="solid", color="blue", weight=3];
2420[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1705 -> 2420[label="",style="solid", color="blue", weight=9];
2420 -> 1842[label="",style="solid", color="blue", weight=3];
2421[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1705 -> 2421[label="",style="solid", color="blue", weight=9];
2421 -> 1843[label="",style="solid", color="blue", weight=3];
2422[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1705 -> 2422[label="",style="solid", color="blue", weight=9];
2422 -> 1844[label="",style="solid", color="blue", weight=3];
2423[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1705 -> 2423[label="",style="solid", color="blue", weight=9];
2423 -> 1845[label="",style="solid", color="blue", weight=3];
2424[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1705 -> 2424[label="",style="solid", color="blue", weight=9];
2424 -> 1846[label="",style="solid", color="blue", weight=3];
2425[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1705 -> 2425[label="",style="solid", color="blue", weight=9];
2425 -> 1847[label="",style="solid", color="blue", weight=3];
1690 -> 1531[label="",style="dashed", color="red", weight=0];
1690[label="yu300 * yu4000 == yu301 * yu4001",fontsize=16,color="magenta"];1690 -> 1848[label="",style="dashed", color="magenta", weight=3];
1690 -> 1849[label="",style="dashed", color="magenta", weight=3];
1691[label="yu4000",fontsize=16,color="green",shape="box"];1692[label="yu300",fontsize=16,color="green",shape="box"];1693 -> 1531[label="",style="dashed", color="red", weight=0];
1693[label="yu300 * yu4000 == yu301 * yu4001",fontsize=16,color="magenta"];1693 -> 1850[label="",style="dashed", color="magenta", weight=3];
1693 -> 1851[label="",style="dashed", color="magenta", weight=3];
2156[label="Zero",fontsize=16,color="green",shape="box"];2157[label="yu64",fontsize=16,color="green",shape="box"];2141[label="primPlusNat yu66 (Succ yu400100)",fontsize=16,color="burlywood",shape="triangle"];2428[label="yu66/Succ yu660",fontsize=10,color="white",style="solid",shape="box"];2141 -> 2428[label="",style="solid", color="burlywood", weight=9];
2428 -> 2146[label="",style="solid", color="burlywood", weight=3];
2429[label="yu66/Zero",fontsize=10,color="white",style="solid",shape="box"];2141 -> 2429[label="",style="solid", color="burlywood", weight=9];
2429 -> 2147[label="",style="solid", color="burlywood", weight=3];
2158[label="Zero",fontsize=16,color="green",shape="box"];2159[label="yu64",fontsize=16,color="green",shape="box"];2160[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (numericEnumFrom (Pos yu67))))\n  Eq a",fontsize=16,color="black",shape="box"];2160 -> 2163[label="",style="solid", color="black", weight=3];
1710 -> 1531[label="",style="dashed", color="red", weight=0];
1710[label="yu301 == yu4001",fontsize=16,color="magenta"];1710 -> 1853[label="",style="dashed", color="magenta", weight=3];
1710 -> 1854[label="",style="dashed", color="magenta", weight=3];
1711 -> 1540[label="",style="dashed", color="red", weight=0];
1711[label="yu301 == yu4001",fontsize=16,color="magenta"];1711 -> 1855[label="",style="dashed", color="magenta", weight=3];
1711 -> 1856[label="",style="dashed", color="magenta", weight=3];
1712 -> 1531[label="",style="dashed", color="red", weight=0];
1712[label="yu300 == yu4000",fontsize=16,color="magenta"];1712 -> 1857[label="",style="dashed", color="magenta", weight=3];
1712 -> 1858[label="",style="dashed", color="magenta", weight=3];
1713 -> 1540[label="",style="dashed", color="red", weight=0];
1713[label="yu300 == yu4000",fontsize=16,color="magenta"];1713 -> 1859[label="",style="dashed", color="magenta", weight=3];
1713 -> 1860[label="",style="dashed", color="magenta", weight=3];
1714[label="False && yu63",fontsize=16,color="black",shape="box"];1714 -> 1861[label="",style="solid", color="black", weight=3];
1715[label="True && yu63",fontsize=16,color="black",shape="box"];1715 -> 1862[label="",style="solid", color="black", weight=3];
1716[label="primEqInt (Pos (Succ yu3000)) (Pos (Succ yu40000))",fontsize=16,color="black",shape="box"];1716 -> 1863[label="",style="solid", color="black", weight=3];
1717[label="primEqInt (Pos (Succ yu3000)) (Pos Zero)",fontsize=16,color="black",shape="box"];1717 -> 1864[label="",style="solid", color="black", weight=3];
1718[label="False",fontsize=16,color="green",shape="box"];1719[label="primEqInt (Pos Zero) (Pos (Succ yu40000))",fontsize=16,color="black",shape="box"];1719 -> 1865[label="",style="solid", color="black", weight=3];
1720[label="primEqInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1720 -> 1866[label="",style="solid", color="black", weight=3];
1721[label="primEqInt (Pos Zero) (Neg (Succ yu40000))",fontsize=16,color="black",shape="box"];1721 -> 1867[label="",style="solid", color="black", weight=3];
1722[label="primEqInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1722 -> 1868[label="",style="solid", color="black", weight=3];
1723[label="False",fontsize=16,color="green",shape="box"];1724[label="primEqInt (Neg (Succ yu3000)) (Neg (Succ yu40000))",fontsize=16,color="black",shape="box"];1724 -> 1869[label="",style="solid", color="black", weight=3];
1725[label="primEqInt (Neg (Succ yu3000)) (Neg Zero)",fontsize=16,color="black",shape="box"];1725 -> 1870[label="",style="solid", color="black", weight=3];
1726[label="primEqInt (Neg Zero) (Pos (Succ yu40000))",fontsize=16,color="black",shape="box"];1726 -> 1871[label="",style="solid", color="black", weight=3];
1727[label="primEqInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1727 -> 1872[label="",style="solid", color="black", weight=3];
1728[label="primEqInt (Neg Zero) (Neg (Succ yu40000))",fontsize=16,color="black",shape="box"];1728 -> 1873[label="",style="solid", color="black", weight=3];
1729[label="primEqInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1729 -> 1874[label="",style="solid", color="black", weight=3];
1730[label="yu302 == yu4002\n  Eq a",fontsize=16,color="blue",shape="box"];2434[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1730 -> 2434[label="",style="solid", color="blue", weight=9];
2434 -> 1875[label="",style="solid", color="blue", weight=3];
2435[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1730 -> 2435[label="",style="solid", color="blue", weight=9];
2435 -> 1876[label="",style="solid", color="blue", weight=3];
2436[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1730 -> 2436[label="",style="solid", color="blue", weight=9];
2436 -> 1877[label="",style="solid", color="blue", weight=3];
2437[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1730 -> 2437[label="",style="solid", color="blue", weight=9];
2437 -> 1878[label="",style="solid", color="blue", weight=3];
2438[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1730 -> 2438[label="",style="solid", color="blue", weight=9];
2438 -> 1879[label="",style="solid", color="blue", weight=3];
2439[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1730 -> 2439[label="",style="solid", color="blue", weight=9];
2439 -> 1880[label="",style="solid", color="blue", weight=3];
2440[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1730 -> 2440[label="",style="solid", color="blue", weight=9];
2440 -> 1881[label="",style="solid", color="blue", weight=3];
2441[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1730 -> 2441[label="",style="solid", color="blue", weight=9];
2441 -> 1882[label="",style="solid", color="blue", weight=3];
2442[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1730 -> 2442[label="",style="solid", color="blue", weight=9];
2442 -> 1883[label="",style="solid", color="blue", weight=3];
2443[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1730 -> 2443[label="",style="solid", color="blue", weight=9];
2443 -> 1884[label="",style="solid", color="blue", weight=3];
2444[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1730 -> 2444[label="",style="solid", color="blue", weight=9];
2444 -> 1885[label="",style="solid", color="blue", weight=3];
2445[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1730 -> 2445[label="",style="solid", color="blue", weight=9];
2445 -> 1886[label="",style="solid", color="blue", weight=3];
2446[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1730 -> 2446[label="",style="solid", color="blue", weight=9];
2446 -> 1887[label="",style="solid", color="blue", weight=3];
2447[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1730 -> 2447[label="",style="solid", color="blue", weight=9];
2447 -> 1888[label="",style="solid", color="blue", weight=3];
1731[label="yu301 == yu4001\n  Eq a",fontsize=16,color="blue",shape="box"];2448[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1731 -> 2448[label="",style="solid", color="blue", weight=9];
2448 -> 1889[label="",style="solid", color="blue", weight=3];
2449[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1731 -> 2449[label="",style="solid", color="blue", weight=9];
2449 -> 1890[label="",style="solid", color="blue", weight=3];
2450[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1731 -> 2450[label="",style="solid", color="blue", weight=9];
2450 -> 1891[label="",style="solid", color="blue", weight=3];
2451[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1731 -> 2451[label="",style="solid", color="blue", weight=9];
2451 -> 1892[label="",style="solid", color="blue", weight=3];
2452[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1731 -> 2452[label="",style="solid", color="blue", weight=9];
2452 -> 1893[label="",style="solid", color="blue", weight=3];
2453[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1731 -> 2453[label="",style="solid", color="blue", weight=9];
2453 -> 1894[label="",style="solid", color="blue", weight=3];
2454[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1731 -> 2454[label="",style="solid", color="blue", weight=9];
2454 -> 1895[label="",style="solid", color="blue", weight=3];
2455[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1731 -> 2455[label="",style="solid", color="blue", weight=9];
2455 -> 1896[label="",style="solid", color="blue", weight=3];
2456[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1731 -> 2456[label="",style="solid", color="blue", weight=9];
2456 -> 1897[label="",style="solid", color="blue", weight=3];
2457[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1731 -> 2457[label="",style="solid", color="blue", weight=9];
2457 -> 1898[label="",style="solid", color="blue", weight=3];
2458[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1731 -> 2458[label="",style="solid", color="blue", weight=9];
2458 -> 1899[label="",style="solid", color="blue", weight=3];
2459[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1731 -> 2459[label="",style="solid", color="blue", weight=9];
2459 -> 1900[label="",style="solid", color="blue", weight=3];
2460[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1731 -> 2460[label="",style="solid", color="blue", weight=9];
2460 -> 1901[label="",style="solid", color="blue", weight=3];
2461[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1731 -> 2461[label="",style="solid", color="blue", weight=9];
2461 -> 1902[label="",style="solid", color="blue", weight=3];
1732 -> 1529[label="",style="dashed", color="red", weight=0];
1732[label="yu300 == yu4000\n  Integral a",fontsize=16,color="magenta"];1732 -> 1903[label="",style="dashed", color="magenta", weight=3];
1732 -> 1904[label="",style="dashed", color="magenta", weight=3];
1733 -> 1483[label="",style="dashed", color="red", weight=0];
1733[label="yu300 == yu4000\n  Eq a",fontsize=16,color="magenta"];1733 -> 1905[label="",style="dashed", color="magenta", weight=3];
1733 -> 1906[label="",style="dashed", color="magenta", weight=3];
1734 -> 1531[label="",style="dashed", color="red", weight=0];
1734[label="yu300 == yu4000",fontsize=16,color="magenta"];1734 -> 1907[label="",style="dashed", color="magenta", weight=3];
1734 -> 1908[label="",style="dashed", color="magenta", weight=3];
1735 -> 1532[label="",style="dashed", color="red", weight=0];
1735[label="yu300 == yu4000\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1735 -> 1909[label="",style="dashed", color="magenta", weight=3];
1735 -> 1910[label="",style="dashed", color="magenta", weight=3];
1736 -> 1533[label="",style="dashed", color="red", weight=0];
1736[label="yu300 == yu4000",fontsize=16,color="magenta"];1736 -> 1911[label="",style="dashed", color="magenta", weight=3];
1736 -> 1912[label="",style="dashed", color="magenta", weight=3];
1737 -> 1534[label="",style="dashed", color="red", weight=0];
1737[label="yu300 == yu4000\n  Eq a  Eq b",fontsize=16,color="magenta"];1737 -> 1913[label="",style="dashed", color="magenta", weight=3];
1737 -> 1914[label="",style="dashed", color="magenta", weight=3];
1738 -> 1535[label="",style="dashed", color="red", weight=0];
1738[label="yu300 == yu4000",fontsize=16,color="magenta"];1738 -> 1915[label="",style="dashed", color="magenta", weight=3];
1738 -> 1916[label="",style="dashed", color="magenta", weight=3];
1739 -> 1536[label="",style="dashed", color="red", weight=0];
1739[label="yu300 == yu4000\n  Eq a  Eq b",fontsize=16,color="magenta"];1739 -> 1917[label="",style="dashed", color="magenta", weight=3];
1739 -> 1918[label="",style="dashed", color="magenta", weight=3];
1740 -> 1537[label="",style="dashed", color="red", weight=0];
1740[label="yu300 == yu4000\n  Eq a",fontsize=16,color="magenta"];1740 -> 1919[label="",style="dashed", color="magenta", weight=3];
1740 -> 1920[label="",style="dashed", color="magenta", weight=3];
1741 -> 1538[label="",style="dashed", color="red", weight=0];
1741[label="yu300 == yu4000",fontsize=16,color="magenta"];1741 -> 1921[label="",style="dashed", color="magenta", weight=3];
1741 -> 1922[label="",style="dashed", color="magenta", weight=3];
1742 -> 1539[label="",style="dashed", color="red", weight=0];
1742[label="yu300 == yu4000",fontsize=16,color="magenta"];1742 -> 1923[label="",style="dashed", color="magenta", weight=3];
1742 -> 1924[label="",style="dashed", color="magenta", weight=3];
1743 -> 1540[label="",style="dashed", color="red", weight=0];
1743[label="yu300 == yu4000",fontsize=16,color="magenta"];1743 -> 1925[label="",style="dashed", color="magenta", weight=3];
1743 -> 1926[label="",style="dashed", color="magenta", weight=3];
1744 -> 1541[label="",style="dashed", color="red", weight=0];
1744[label="yu300 == yu4000",fontsize=16,color="magenta"];1744 -> 1927[label="",style="dashed", color="magenta", weight=3];
1744 -> 1928[label="",style="dashed", color="magenta", weight=3];
1745 -> 1542[label="",style="dashed", color="red", weight=0];
1745[label="yu300 == yu4000",fontsize=16,color="magenta"];1745 -> 1929[label="",style="dashed", color="magenta", weight=3];
1745 -> 1930[label="",style="dashed", color="magenta", weight=3];
1746 -> 1529[label="",style="dashed", color="red", weight=0];
1746[label="yu301 == yu4001\n  Integral a",fontsize=16,color="magenta"];1746 -> 1931[label="",style="dashed", color="magenta", weight=3];
1746 -> 1932[label="",style="dashed", color="magenta", weight=3];
1747 -> 1483[label="",style="dashed", color="red", weight=0];
1747[label="yu301 == yu4001\n  Eq a",fontsize=16,color="magenta"];1747 -> 1933[label="",style="dashed", color="magenta", weight=3];
1747 -> 1934[label="",style="dashed", color="magenta", weight=3];
1748 -> 1531[label="",style="dashed", color="red", weight=0];
1748[label="yu301 == yu4001",fontsize=16,color="magenta"];1748 -> 1935[label="",style="dashed", color="magenta", weight=3];
1748 -> 1936[label="",style="dashed", color="magenta", weight=3];
1749 -> 1532[label="",style="dashed", color="red", weight=0];
1749[label="yu301 == yu4001\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1749 -> 1937[label="",style="dashed", color="magenta", weight=3];
1749 -> 1938[label="",style="dashed", color="magenta", weight=3];
1750 -> 1533[label="",style="dashed", color="red", weight=0];
1750[label="yu301 == yu4001",fontsize=16,color="magenta"];1750 -> 1939[label="",style="dashed", color="magenta", weight=3];
1750 -> 1940[label="",style="dashed", color="magenta", weight=3];
1751 -> 1534[label="",style="dashed", color="red", weight=0];
1751[label="yu301 == yu4001\n  Eq a  Eq b",fontsize=16,color="magenta"];1751 -> 1941[label="",style="dashed", color="magenta", weight=3];
1751 -> 1942[label="",style="dashed", color="magenta", weight=3];
1752 -> 1535[label="",style="dashed", color="red", weight=0];
1752[label="yu301 == yu4001",fontsize=16,color="magenta"];1752 -> 1943[label="",style="dashed", color="magenta", weight=3];
1752 -> 1944[label="",style="dashed", color="magenta", weight=3];
1753 -> 1536[label="",style="dashed", color="red", weight=0];
1753[label="yu301 == yu4001\n  Eq a  Eq b",fontsize=16,color="magenta"];1753 -> 1945[label="",style="dashed", color="magenta", weight=3];
1753 -> 1946[label="",style="dashed", color="magenta", weight=3];
1754 -> 1537[label="",style="dashed", color="red", weight=0];
1754[label="yu301 == yu4001\n  Eq a",fontsize=16,color="magenta"];1754 -> 1947[label="",style="dashed", color="magenta", weight=3];
1754 -> 1948[label="",style="dashed", color="magenta", weight=3];
1755 -> 1538[label="",style="dashed", color="red", weight=0];
1755[label="yu301 == yu4001",fontsize=16,color="magenta"];1755 -> 1949[label="",style="dashed", color="magenta", weight=3];
1755 -> 1950[label="",style="dashed", color="magenta", weight=3];
1756 -> 1539[label="",style="dashed", color="red", weight=0];
1756[label="yu301 == yu4001",fontsize=16,color="magenta"];1756 -> 1951[label="",style="dashed", color="magenta", weight=3];
1756 -> 1952[label="",style="dashed", color="magenta", weight=3];
1757 -> 1540[label="",style="dashed", color="red", weight=0];
1757[label="yu301 == yu4001",fontsize=16,color="magenta"];1757 -> 1953[label="",style="dashed", color="magenta", weight=3];
1757 -> 1954[label="",style="dashed", color="magenta", weight=3];
1758 -> 1541[label="",style="dashed", color="red", weight=0];
1758[label="yu301 == yu4001",fontsize=16,color="magenta"];1758 -> 1955[label="",style="dashed", color="magenta", weight=3];
1758 -> 1956[label="",style="dashed", color="magenta", weight=3];
1759 -> 1542[label="",style="dashed", color="red", weight=0];
1759[label="yu301 == yu4001",fontsize=16,color="magenta"];1759 -> 1957[label="",style="dashed", color="magenta", weight=3];
1759 -> 1958[label="",style="dashed", color="magenta", weight=3];
1760 -> 1529[label="",style="dashed", color="red", weight=0];
1760[label="yu300 == yu4000\n  Integral a",fontsize=16,color="magenta"];1760 -> 1959[label="",style="dashed", color="magenta", weight=3];
1760 -> 1960[label="",style="dashed", color="magenta", weight=3];
1761 -> 1483[label="",style="dashed", color="red", weight=0];
1761[label="yu300 == yu4000\n  Eq a",fontsize=16,color="magenta"];1761 -> 1961[label="",style="dashed", color="magenta", weight=3];
1761 -> 1962[label="",style="dashed", color="magenta", weight=3];
1762 -> 1531[label="",style="dashed", color="red", weight=0];
1762[label="yu300 == yu4000",fontsize=16,color="magenta"];1762 -> 1963[label="",style="dashed", color="magenta", weight=3];
1762 -> 1964[label="",style="dashed", color="magenta", weight=3];
1763 -> 1532[label="",style="dashed", color="red", weight=0];
1763[label="yu300 == yu4000\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1763 -> 1965[label="",style="dashed", color="magenta", weight=3];
1763 -> 1966[label="",style="dashed", color="magenta", weight=3];
1764 -> 1533[label="",style="dashed", color="red", weight=0];
1764[label="yu300 == yu4000",fontsize=16,color="magenta"];1764 -> 1967[label="",style="dashed", color="magenta", weight=3];
1764 -> 1968[label="",style="dashed", color="magenta", weight=3];
1765 -> 1534[label="",style="dashed", color="red", weight=0];
1765[label="yu300 == yu4000\n  Eq a  Eq b",fontsize=16,color="magenta"];1765 -> 1969[label="",style="dashed", color="magenta", weight=3];
1765 -> 1970[label="",style="dashed", color="magenta", weight=3];
1766 -> 1535[label="",style="dashed", color="red", weight=0];
1766[label="yu300 == yu4000",fontsize=16,color="magenta"];1766 -> 1971[label="",style="dashed", color="magenta", weight=3];
1766 -> 1972[label="",style="dashed", color="magenta", weight=3];
1767 -> 1536[label="",style="dashed", color="red", weight=0];
1767[label="yu300 == yu4000\n  Eq a  Eq b",fontsize=16,color="magenta"];1767 -> 1973[label="",style="dashed", color="magenta", weight=3];
1767 -> 1974[label="",style="dashed", color="magenta", weight=3];
1768 -> 1537[label="",style="dashed", color="red", weight=0];
1768[label="yu300 == yu4000\n  Eq a",fontsize=16,color="magenta"];1768 -> 1975[label="",style="dashed", color="magenta", weight=3];
1768 -> 1976[label="",style="dashed", color="magenta", weight=3];
1769 -> 1538[label="",style="dashed", color="red", weight=0];
1769[label="yu300 == yu4000",fontsize=16,color="magenta"];1769 -> 1977[label="",style="dashed", color="magenta", weight=3];
1769 -> 1978[label="",style="dashed", color="magenta", weight=3];
1770 -> 1539[label="",style="dashed", color="red", weight=0];
1770[label="yu300 == yu4000",fontsize=16,color="magenta"];1770 -> 1979[label="",style="dashed", color="magenta", weight=3];
1770 -> 1980[label="",style="dashed", color="magenta", weight=3];
1771 -> 1540[label="",style="dashed", color="red", weight=0];
1771[label="yu300 == yu4000",fontsize=16,color="magenta"];1771 -> 1981[label="",style="dashed", color="magenta", weight=3];
1771 -> 1982[label="",style="dashed", color="magenta", weight=3];
1772 -> 1541[label="",style="dashed", color="red", weight=0];
1772[label="yu300 == yu4000",fontsize=16,color="magenta"];1772 -> 1983[label="",style="dashed", color="magenta", weight=3];
1772 -> 1984[label="",style="dashed", color="magenta", weight=3];
1773 -> 1542[label="",style="dashed", color="red", weight=0];
1773[label="yu300 == yu4000",fontsize=16,color="magenta"];1773 -> 1985[label="",style="dashed", color="magenta", weight=3];
1773 -> 1986[label="",style="dashed", color="magenta", weight=3];
1774[label="primEqNat (Succ yu3000) yu4000",fontsize=16,color="burlywood",shape="box"];2504[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1774 -> 2504[label="",style="solid", color="burlywood", weight=9];
2504 -> 1987[label="",style="solid", color="burlywood", weight=3];
2505[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1774 -> 2505[label="",style="solid", color="burlywood", weight=9];
2505 -> 1988[label="",style="solid", color="burlywood", weight=3];
1775[label="primEqNat Zero yu4000",fontsize=16,color="burlywood",shape="box"];2506[label="yu4000/Succ yu40000",fontsize=10,color="white",style="solid",shape="box"];1775 -> 2506[label="",style="solid", color="burlywood", weight=9];
2506 -> 1989[label="",style="solid", color="burlywood", weight=3];
2507[label="yu4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1775 -> 2507[label="",style="solid", color="burlywood", weight=9];
2507 -> 1990[label="",style="solid", color="burlywood", weight=3];
1776[label="yu4000\n  Integral a",fontsize=16,color="green",shape="box"];1777[label="yu300\n  Integral a",fontsize=16,color="green",shape="box"];1778[label="yu4000\n  Eq a",fontsize=16,color="green",shape="box"];1779[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1780[label="yu4000",fontsize=16,color="green",shape="box"];1781[label="yu300",fontsize=16,color="green",shape="box"];1782[label="yu4000\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1783[label="yu300\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1784[label="yu4000",fontsize=16,color="green",shape="box"];1785[label="yu300",fontsize=16,color="green",shape="box"];1786[label="yu4000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1787[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1788[label="yu4000",fontsize=16,color="green",shape="box"];1789[label="yu300",fontsize=16,color="green",shape="box"];1790[label="yu4000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1791[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1792[label="yu4000\n  Eq a",fontsize=16,color="green",shape="box"];1793[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1794[label="yu4000",fontsize=16,color="green",shape="box"];1795[label="yu300",fontsize=16,color="green",shape="box"];1796[label="yu4000",fontsize=16,color="green",shape="box"];1797[label="yu300",fontsize=16,color="green",shape="box"];1798[label="yu4000",fontsize=16,color="green",shape="box"];1799[label="yu300",fontsize=16,color="green",shape="box"];1800[label="yu4000",fontsize=16,color="green",shape="box"];1801[label="yu300",fontsize=16,color="green",shape="box"];1802[label="yu4000",fontsize=16,color="green",shape="box"];1803[label="yu300",fontsize=16,color="green",shape="box"];1804[label="yu4000\n  Integral a",fontsize=16,color="green",shape="box"];1805[label="yu300\n  Integral a",fontsize=16,color="green",shape="box"];1806[label="yu4000\n  Eq a",fontsize=16,color="green",shape="box"];1807[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1808[label="yu4000",fontsize=16,color="green",shape="box"];1809[label="yu300",fontsize=16,color="green",shape="box"];1810[label="yu4000\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1811[label="yu300\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1812[label="yu4000",fontsize=16,color="green",shape="box"];1813[label="yu300",fontsize=16,color="green",shape="box"];1814[label="yu4000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1815[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1816[label="yu4000",fontsize=16,color="green",shape="box"];1817[label="yu300",fontsize=16,color="green",shape="box"];1818[label="yu4000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1819[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1820[label="yu4000\n  Eq a",fontsize=16,color="green",shape="box"];1821[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1822[label="yu4000",fontsize=16,color="green",shape="box"];1823[label="yu300",fontsize=16,color="green",shape="box"];1824[label="yu4000",fontsize=16,color="green",shape="box"];1825[label="yu300",fontsize=16,color="green",shape="box"];1826[label="yu4000",fontsize=16,color="green",shape="box"];1827[label="yu300",fontsize=16,color="green",shape="box"];1828[label="yu4000",fontsize=16,color="green",shape="box"];1829[label="yu300",fontsize=16,color="green",shape="box"];1830[label="yu4000",fontsize=16,color="green",shape="box"];1831[label="yu300",fontsize=16,color="green",shape="box"];1832[label="yu4001\n  Eq a",fontsize=16,color="green",shape="box"];1833[label="yu301\n  Eq a",fontsize=16,color="green",shape="box"];1834 -> 1529[label="",style="dashed", color="red", weight=0];
1834[label="yu300 == yu4000\n  Integral a",fontsize=16,color="magenta"];1834 -> 1991[label="",style="dashed", color="magenta", weight=3];
1834 -> 1992[label="",style="dashed", color="magenta", weight=3];
1835 -> 1483[label="",style="dashed", color="red", weight=0];
1835[label="yu300 == yu4000\n  Eq a",fontsize=16,color="magenta"];1835 -> 1993[label="",style="dashed", color="magenta", weight=3];
1835 -> 1994[label="",style="dashed", color="magenta", weight=3];
1836 -> 1531[label="",style="dashed", color="red", weight=0];
1836[label="yu300 == yu4000",fontsize=16,color="magenta"];1836 -> 1995[label="",style="dashed", color="magenta", weight=3];
1836 -> 1996[label="",style="dashed", color="magenta", weight=3];
1837 -> 1532[label="",style="dashed", color="red", weight=0];
1837[label="yu300 == yu4000\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1837 -> 1997[label="",style="dashed", color="magenta", weight=3];
1837 -> 1998[label="",style="dashed", color="magenta", weight=3];
1838 -> 1533[label="",style="dashed", color="red", weight=0];
1838[label="yu300 == yu4000",fontsize=16,color="magenta"];1838 -> 1999[label="",style="dashed", color="magenta", weight=3];
1838 -> 2000[label="",style="dashed", color="magenta", weight=3];
1839 -> 1534[label="",style="dashed", color="red", weight=0];
1839[label="yu300 == yu4000\n  Eq a  Eq b",fontsize=16,color="magenta"];1839 -> 2001[label="",style="dashed", color="magenta", weight=3];
1839 -> 2002[label="",style="dashed", color="magenta", weight=3];
1840 -> 1535[label="",style="dashed", color="red", weight=0];
1840[label="yu300 == yu4000",fontsize=16,color="magenta"];1840 -> 2003[label="",style="dashed", color="magenta", weight=3];
1840 -> 2004[label="",style="dashed", color="magenta", weight=3];
1841 -> 1536[label="",style="dashed", color="red", weight=0];
1841[label="yu300 == yu4000\n  Eq a  Eq b",fontsize=16,color="magenta"];1841 -> 2005[label="",style="dashed", color="magenta", weight=3];
1841 -> 2006[label="",style="dashed", color="magenta", weight=3];
1842 -> 1537[label="",style="dashed", color="red", weight=0];
1842[label="yu300 == yu4000\n  Eq a",fontsize=16,color="magenta"];1842 -> 2007[label="",style="dashed", color="magenta", weight=3];
1842 -> 2008[label="",style="dashed", color="magenta", weight=3];
1843 -> 1538[label="",style="dashed", color="red", weight=0];
1843[label="yu300 == yu4000",fontsize=16,color="magenta"];1843 -> 2009[label="",style="dashed", color="magenta", weight=3];
1843 -> 2010[label="",style="dashed", color="magenta", weight=3];
1844 -> 1539[label="",style="dashed", color="red", weight=0];
1844[label="yu300 == yu4000",fontsize=16,color="magenta"];1844 -> 2011[label="",style="dashed", color="magenta", weight=3];
1844 -> 2012[label="",style="dashed", color="magenta", weight=3];
1845 -> 1540[label="",style="dashed", color="red", weight=0];
1845[label="yu300 == yu4000",fontsize=16,color="magenta"];1845 -> 2013[label="",style="dashed", color="magenta", weight=3];
1845 -> 2014[label="",style="dashed", color="magenta", weight=3];
1846 -> 1541[label="",style="dashed", color="red", weight=0];
1846[label="yu300 == yu4000",fontsize=16,color="magenta"];1846 -> 2015[label="",style="dashed", color="magenta", weight=3];
1846 -> 2016[label="",style="dashed", color="magenta", weight=3];
1847 -> 1542[label="",style="dashed", color="red", weight=0];
1847[label="yu300 == yu4000",fontsize=16,color="magenta"];1847 -> 2017[label="",style="dashed", color="magenta", weight=3];
1847 -> 2018[label="",style="dashed", color="magenta", weight=3];
1848[label="yu301 * yu4001",fontsize=16,color="black",shape="triangle"];1848 -> 2019[label="",style="solid", color="black", weight=3];
1849 -> 1848[label="",style="dashed", color="red", weight=0];
1849[label="yu300 * yu4000",fontsize=16,color="magenta"];1849 -> 2020[label="",style="dashed", color="magenta", weight=3];
1849 -> 2021[label="",style="dashed", color="magenta", weight=3];
1850 -> 1848[label="",style="dashed", color="red", weight=0];
1850[label="yu301 * yu4001",fontsize=16,color="magenta"];1850 -> 2022[label="",style="dashed", color="magenta", weight=3];
1850 -> 2023[label="",style="dashed", color="magenta", weight=3];
1851 -> 1848[label="",style="dashed", color="red", weight=0];
1851[label="yu300 * yu4000",fontsize=16,color="magenta"];1851 -> 2024[label="",style="dashed", color="magenta", weight=3];
1851 -> 2025[label="",style="dashed", color="magenta", weight=3];
2146[label="primPlusNat (Succ yu660) (Succ yu400100)",fontsize=16,color="black",shape="box"];2146 -> 2149[label="",style="solid", color="black", weight=3];
2147[label="primPlusNat Zero (Succ yu400100)",fontsize=16,color="black",shape="box"];2147 -> 2150[label="",style="solid", color="black", weight=3];
2163[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu4110 : yu4111) (Pos yu67 : (numericEnumFrom $! Pos yu67 + fromInt (Pos (Succ Zero))))))\n  Eq a",fontsize=16,color="black",shape="box"];2163 -> 2168[label="",style="solid", color="black", weight=3];
1853[label="yu4001",fontsize=16,color="green",shape="box"];1854[label="yu301",fontsize=16,color="green",shape="box"];1855[label="yu4001",fontsize=16,color="green",shape="box"];1856[label="yu301",fontsize=16,color="green",shape="box"];1857[label="yu4000",fontsize=16,color="green",shape="box"];1858[label="yu300",fontsize=16,color="green",shape="box"];1859[label="yu4000",fontsize=16,color="green",shape="box"];1860[label="yu300",fontsize=16,color="green",shape="box"];1861[label="False",fontsize=16,color="green",shape="box"];1862[label="yu63",fontsize=16,color="green",shape="box"];1863 -> 1661[label="",style="dashed", color="red", weight=0];
1863[label="primEqNat yu3000 yu40000",fontsize=16,color="magenta"];1863 -> 2027[label="",style="dashed", color="magenta", weight=3];
1863 -> 2028[label="",style="dashed", color="magenta", weight=3];
1864[label="False",fontsize=16,color="green",shape="box"];1865[label="False",fontsize=16,color="green",shape="box"];1866[label="True",fontsize=16,color="green",shape="box"];1867[label="False",fontsize=16,color="green",shape="box"];1868[label="True",fontsize=16,color="green",shape="box"];1869 -> 1661[label="",style="dashed", color="red", weight=0];
1869[label="primEqNat yu3000 yu40000",fontsize=16,color="magenta"];1869 -> 2029[label="",style="dashed", color="magenta", weight=3];
1869 -> 2030[label="",style="dashed", color="magenta", weight=3];
1870[label="False",fontsize=16,color="green",shape="box"];1871[label="False",fontsize=16,color="green",shape="box"];1872[label="True",fontsize=16,color="green",shape="box"];1873[label="False",fontsize=16,color="green",shape="box"];1874[label="True",fontsize=16,color="green",shape="box"];1875 -> 1529[label="",style="dashed", color="red", weight=0];
1875[label="yu302 == yu4002\n  Integral a",fontsize=16,color="magenta"];1875 -> 2031[label="",style="dashed", color="magenta", weight=3];
1875 -> 2032[label="",style="dashed", color="magenta", weight=3];
1876 -> 1483[label="",style="dashed", color="red", weight=0];
1876[label="yu302 == yu4002\n  Eq a",fontsize=16,color="magenta"];1876 -> 2033[label="",style="dashed", color="magenta", weight=3];
1876 -> 2034[label="",style="dashed", color="magenta", weight=3];
1877 -> 1531[label="",style="dashed", color="red", weight=0];
1877[label="yu302 == yu4002",fontsize=16,color="magenta"];1877 -> 2035[label="",style="dashed", color="magenta", weight=3];
1877 -> 2036[label="",style="dashed", color="magenta", weight=3];
1878 -> 1532[label="",style="dashed", color="red", weight=0];
1878[label="yu302 == yu4002\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1878 -> 2037[label="",style="dashed", color="magenta", weight=3];
1878 -> 2038[label="",style="dashed", color="magenta", weight=3];
1879 -> 1533[label="",style="dashed", color="red", weight=0];
1879[label="yu302 == yu4002",fontsize=16,color="magenta"];1879 -> 2039[label="",style="dashed", color="magenta", weight=3];
1879 -> 2040[label="",style="dashed", color="magenta", weight=3];
1880 -> 1534[label="",style="dashed", color="red", weight=0];
1880[label="yu302 == yu4002\n  Eq a  Eq b",fontsize=16,color="magenta"];1880 -> 2041[label="",style="dashed", color="magenta", weight=3];
1880 -> 2042[label="",style="dashed", color="magenta", weight=3];
1881 -> 1535[label="",style="dashed", color="red", weight=0];
1881[label="yu302 == yu4002",fontsize=16,color="magenta"];1881 -> 2043[label="",style="dashed", color="magenta", weight=3];
1881 -> 2044[label="",style="dashed", color="magenta", weight=3];
1882 -> 1536[label="",style="dashed", color="red", weight=0];
1882[label="yu302 == yu4002\n  Eq a  Eq b",fontsize=16,color="magenta"];1882 -> 2045[label="",style="dashed", color="magenta", weight=3];
1882 -> 2046[label="",style="dashed", color="magenta", weight=3];
1883 -> 1537[label="",style="dashed", color="red", weight=0];
1883[label="yu302 == yu4002\n  Eq a",fontsize=16,color="magenta"];1883 -> 2047[label="",style="dashed", color="magenta", weight=3];
1883 -> 2048[label="",style="dashed", color="magenta", weight=3];
1884 -> 1538[label="",style="dashed", color="red", weight=0];
1884[label="yu302 == yu4002",fontsize=16,color="magenta"];1884 -> 2049[label="",style="dashed", color="magenta", weight=3];
1884 -> 2050[label="",style="dashed", color="magenta", weight=3];
1885 -> 1539[label="",style="dashed", color="red", weight=0];
1885[label="yu302 == yu4002",fontsize=16,color="magenta"];1885 -> 2051[label="",style="dashed", color="magenta", weight=3];
1885 -> 2052[label="",style="dashed", color="magenta", weight=3];
1886 -> 1540[label="",style="dashed", color="red", weight=0];
1886[label="yu302 == yu4002",fontsize=16,color="magenta"];1886 -> 2053[label="",style="dashed", color="magenta", weight=3];
1886 -> 2054[label="",style="dashed", color="magenta", weight=3];
1887 -> 1541[label="",style="dashed", color="red", weight=0];
1887[label="yu302 == yu4002",fontsize=16,color="magenta"];1887 -> 2055[label="",style="dashed", color="magenta", weight=3];
1887 -> 2056[label="",style="dashed", color="magenta", weight=3];
1888 -> 1542[label="",style="dashed", color="red", weight=0];
1888[label="yu302 == yu4002",fontsize=16,color="magenta"];1888 -> 2057[label="",style="dashed", color="magenta", weight=3];
1888 -> 2058[label="",style="dashed", color="magenta", weight=3];
1889 -> 1529[label="",style="dashed", color="red", weight=0];
1889[label="yu301 == yu4001\n  Integral a",fontsize=16,color="magenta"];1889 -> 2059[label="",style="dashed", color="magenta", weight=3];
1889 -> 2060[label="",style="dashed", color="magenta", weight=3];
1890 -> 1483[label="",style="dashed", color="red", weight=0];
1890[label="yu301 == yu4001\n  Eq a",fontsize=16,color="magenta"];1890 -> 2061[label="",style="dashed", color="magenta", weight=3];
1890 -> 2062[label="",style="dashed", color="magenta", weight=3];
1891 -> 1531[label="",style="dashed", color="red", weight=0];
1891[label="yu301 == yu4001",fontsize=16,color="magenta"];1891 -> 2063[label="",style="dashed", color="magenta", weight=3];
1891 -> 2064[label="",style="dashed", color="magenta", weight=3];
1892 -> 1532[label="",style="dashed", color="red", weight=0];
1892[label="yu301 == yu4001\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];1892 -> 2065[label="",style="dashed", color="magenta", weight=3];
1892 -> 2066[label="",style="dashed", color="magenta", weight=3];
1893 -> 1533[label="",style="dashed", color="red", weight=0];
1893[label="yu301 == yu4001",fontsize=16,color="magenta"];1893 -> 2067[label="",style="dashed", color="magenta", weight=3];
1893 -> 2068[label="",style="dashed", color="magenta", weight=3];
1894 -> 1534[label="",style="dashed", color="red", weight=0];
1894[label="yu301 == yu4001\n  Eq a  Eq b",fontsize=16,color="magenta"];1894 -> 2069[label="",style="dashed", color="magenta", weight=3];
1894 -> 2070[label="",style="dashed", color="magenta", weight=3];
1895 -> 1535[label="",style="dashed", color="red", weight=0];
1895[label="yu301 == yu4001",fontsize=16,color="magenta"];1895 -> 2071[label="",style="dashed", color="magenta", weight=3];
1895 -> 2072[label="",style="dashed", color="magenta", weight=3];
1896 -> 1536[label="",style="dashed", color="red", weight=0];
1896[label="yu301 == yu4001\n  Eq a  Eq b",fontsize=16,color="magenta"];1896 -> 2073[label="",style="dashed", color="magenta", weight=3];
1896 -> 2074[label="",style="dashed", color="magenta", weight=3];
1897 -> 1537[label="",style="dashed", color="red", weight=0];
1897[label="yu301 == yu4001\n  Eq a",fontsize=16,color="magenta"];1897 -> 2075[label="",style="dashed", color="magenta", weight=3];
1897 -> 2076[label="",style="dashed", color="magenta", weight=3];
1898 -> 1538[label="",style="dashed", color="red", weight=0];
1898[label="yu301 == yu4001",fontsize=16,color="magenta"];1898 -> 2077[label="",style="dashed", color="magenta", weight=3];
1898 -> 2078[label="",style="dashed", color="magenta", weight=3];
1899 -> 1539[label="",style="dashed", color="red", weight=0];
1899[label="yu301 == yu4001",fontsize=16,color="magenta"];1899 -> 2079[label="",style="dashed", color="magenta", weight=3];
1899 -> 2080[label="",style="dashed", color="magenta", weight=3];
1900 -> 1540[label="",style="dashed", color="red", weight=0];
1900[label="yu301 == yu4001",fontsize=16,color="magenta"];1900 -> 2081[label="",style="dashed", color="magenta", weight=3];
1900 -> 2082[label="",style="dashed", color="magenta", weight=3];
1901 -> 1541[label="",style="dashed", color="red", weight=0];
1901[label="yu301 == yu4001",fontsize=16,color="magenta"];1901 -> 2083[label="",style="dashed", color="magenta", weight=3];
1901 -> 2084[label="",style="dashed", color="magenta", weight=3];
1902 -> 1542[label="",style="dashed", color="red", weight=0];
1902[label="yu301 == yu4001",fontsize=16,color="magenta"];1902 -> 2085[label="",style="dashed", color="magenta", weight=3];
1902 -> 2086[label="",style="dashed", color="magenta", weight=3];
1903[label="yu4000\n  Integral a",fontsize=16,color="green",shape="box"];1904[label="yu300\n  Integral a",fontsize=16,color="green",shape="box"];1905[label="yu4000\n  Eq a",fontsize=16,color="green",shape="box"];1906[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1907[label="yu4000",fontsize=16,color="green",shape="box"];1908[label="yu300",fontsize=16,color="green",shape="box"];1909[label="yu4000\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1910[label="yu300\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1911[label="yu4000",fontsize=16,color="green",shape="box"];1912[label="yu300",fontsize=16,color="green",shape="box"];1913[label="yu4000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1914[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1915[label="yu4000",fontsize=16,color="green",shape="box"];1916[label="yu300",fontsize=16,color="green",shape="box"];1917[label="yu4000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1918[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1919[label="yu4000\n  Eq a",fontsize=16,color="green",shape="box"];1920[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1921[label="yu4000",fontsize=16,color="green",shape="box"];1922[label="yu300",fontsize=16,color="green",shape="box"];1923[label="yu4000",fontsize=16,color="green",shape="box"];1924[label="yu300",fontsize=16,color="green",shape="box"];1925[label="yu4000",fontsize=16,color="green",shape="box"];1926[label="yu300",fontsize=16,color="green",shape="box"];1927[label="yu4000",fontsize=16,color="green",shape="box"];1928[label="yu300",fontsize=16,color="green",shape="box"];1929[label="yu4000",fontsize=16,color="green",shape="box"];1930[label="yu300",fontsize=16,color="green",shape="box"];1931[label="yu4001\n  Integral a",fontsize=16,color="green",shape="box"];1932[label="yu301\n  Integral a",fontsize=16,color="green",shape="box"];1933[label="yu4001\n  Eq a",fontsize=16,color="green",shape="box"];1934[label="yu301\n  Eq a",fontsize=16,color="green",shape="box"];1935[label="yu4001",fontsize=16,color="green",shape="box"];1936[label="yu301",fontsize=16,color="green",shape="box"];1937[label="yu4001\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1938[label="yu301\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1939[label="yu4001",fontsize=16,color="green",shape="box"];1940[label="yu301",fontsize=16,color="green",shape="box"];1941[label="yu4001\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1942[label="yu301\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1943[label="yu4001",fontsize=16,color="green",shape="box"];1944[label="yu301",fontsize=16,color="green",shape="box"];1945[label="yu4001\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1946[label="yu301\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1947[label="yu4001\n  Eq a",fontsize=16,color="green",shape="box"];1948[label="yu301\n  Eq a",fontsize=16,color="green",shape="box"];1949[label="yu4001",fontsize=16,color="green",shape="box"];1950[label="yu301",fontsize=16,color="green",shape="box"];1951[label="yu4001",fontsize=16,color="green",shape="box"];1952[label="yu301",fontsize=16,color="green",shape="box"];1953[label="yu4001",fontsize=16,color="green",shape="box"];1954[label="yu301",fontsize=16,color="green",shape="box"];1955[label="yu4001",fontsize=16,color="green",shape="box"];1956[label="yu301",fontsize=16,color="green",shape="box"];1957[label="yu4001",fontsize=16,color="green",shape="box"];1958[label="yu301",fontsize=16,color="green",shape="box"];1959[label="yu4000\n  Integral a",fontsize=16,color="green",shape="box"];1960[label="yu300\n  Integral a",fontsize=16,color="green",shape="box"];1961[label="yu4000\n  Eq a",fontsize=16,color="green",shape="box"];1962[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1963[label="yu4000",fontsize=16,color="green",shape="box"];1964[label="yu300",fontsize=16,color="green",shape="box"];1965[label="yu4000\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1966[label="yu300\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1967[label="yu4000",fontsize=16,color="green",shape="box"];1968[label="yu300",fontsize=16,color="green",shape="box"];1969[label="yu4000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1970[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1971[label="yu4000",fontsize=16,color="green",shape="box"];1972[label="yu300",fontsize=16,color="green",shape="box"];1973[label="yu4000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1974[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];1975[label="yu4000\n  Eq a",fontsize=16,color="green",shape="box"];1976[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1977[label="yu4000",fontsize=16,color="green",shape="box"];1978[label="yu300",fontsize=16,color="green",shape="box"];1979[label="yu4000",fontsize=16,color="green",shape="box"];1980[label="yu300",fontsize=16,color="green",shape="box"];1981[label="yu4000",fontsize=16,color="green",shape="box"];1982[label="yu300",fontsize=16,color="green",shape="box"];1983[label="yu4000",fontsize=16,color="green",shape="box"];1984[label="yu300",fontsize=16,color="green",shape="box"];1985[label="yu4000",fontsize=16,color="green",shape="box"];1986[label="yu300",fontsize=16,color="green",shape="box"];1987[label="primEqNat (Succ yu3000) (Succ yu40000)",fontsize=16,color="black",shape="box"];1987 -> 2087[label="",style="solid", color="black", weight=3];
1988[label="primEqNat (Succ yu3000) Zero",fontsize=16,color="black",shape="box"];1988 -> 2088[label="",style="solid", color="black", weight=3];
1989[label="primEqNat Zero (Succ yu40000)",fontsize=16,color="black",shape="box"];1989 -> 2089[label="",style="solid", color="black", weight=3];
1990[label="primEqNat Zero Zero",fontsize=16,color="black",shape="box"];1990 -> 2090[label="",style="solid", color="black", weight=3];
1991[label="yu4000\n  Integral a",fontsize=16,color="green",shape="box"];1992[label="yu300\n  Integral a",fontsize=16,color="green",shape="box"];1993[label="yu4000\n  Eq a",fontsize=16,color="green",shape="box"];1994[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];1995[label="yu4000",fontsize=16,color="green",shape="box"];1996[label="yu300",fontsize=16,color="green",shape="box"];1997[label="yu4000\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1998[label="yu300\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];1999[label="yu4000",fontsize=16,color="green",shape="box"];2000[label="yu300",fontsize=16,color="green",shape="box"];2001[label="yu4000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];2002[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];2003[label="yu4000",fontsize=16,color="green",shape="box"];2004[label="yu300",fontsize=16,color="green",shape="box"];2005[label="yu4000\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];2006[label="yu300\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];2007[label="yu4000\n  Eq a",fontsize=16,color="green",shape="box"];2008[label="yu300\n  Eq a",fontsize=16,color="green",shape="box"];2009[label="yu4000",fontsize=16,color="green",shape="box"];2010[label="yu300",fontsize=16,color="green",shape="box"];2011[label="yu4000",fontsize=16,color="green",shape="box"];2012[label="yu300",fontsize=16,color="green",shape="box"];2013[label="yu4000",fontsize=16,color="green",shape="box"];2014[label="yu300",fontsize=16,color="green",shape="box"];2015[label="yu4000",fontsize=16,color="green",shape="box"];2016[label="yu300",fontsize=16,color="green",shape="box"];2017[label="yu4000",fontsize=16,color="green",shape="box"];2018[label="yu300",fontsize=16,color="green",shape="box"];2019[label="primMulInt yu301 yu4001",fontsize=16,color="burlywood",shape="box"];2555[label="yu301/Pos yu3010",fontsize=10,color="white",style="solid",shape="box"];2019 -> 2555[label="",style="solid", color="burlywood", weight=9];
2555 -> 2091[label="",style="solid", color="burlywood", weight=3];
2556[label="yu301/Neg yu3010",fontsize=10,color="white",style="solid",shape="box"];2019 -> 2556[label="",style="solid", color="burlywood", weight=9];
2556 -> 2092[label="",style="solid", color="burlywood", weight=3];
2020[label="yu4000",fontsize=16,color="green",shape="box"];2021[label="yu300",fontsize=16,color="green",shape="box"];2022[label="yu4001",fontsize=16,color="green",shape="box"];2023[label="yu301",fontsize=16,color="green",shape="box"];2024[label="yu4000",fontsize=16,color="green",shape="box"];2025[label="yu300",fontsize=16,color="green",shape="box"];2149[label="Succ (Succ (primPlusNat yu660 yu400100))",fontsize=16,color="green",shape="box"];2149 -> 2152[label="",style="dashed", color="green", weight=3];
2150[label="Succ yu400100",fontsize=16,color="green",shape="box"];2168[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zip0 yu4110 (Pos yu67) : zipWith zip0 yu4111 (numericEnumFrom $! Pos yu67 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];2168 -> 2173[label="",style="solid", color="black", weight=3];
2027[label="yu3000",fontsize=16,color="green",shape="box"];2028[label="yu40000",fontsize=16,color="green",shape="box"];2029[label="yu3000",fontsize=16,color="green",shape="box"];2030[label="yu40000",fontsize=16,color="green",shape="box"];2031[label="yu4002\n  Integral a",fontsize=16,color="green",shape="box"];2032[label="yu302\n  Integral a",fontsize=16,color="green",shape="box"];2033[label="yu4002\n  Eq a",fontsize=16,color="green",shape="box"];2034[label="yu302\n  Eq a",fontsize=16,color="green",shape="box"];2035[label="yu4002",fontsize=16,color="green",shape="box"];2036[label="yu302",fontsize=16,color="green",shape="box"];2037[label="yu4002\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];2038[label="yu302\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];2039[label="yu4002",fontsize=16,color="green",shape="box"];2040[label="yu302",fontsize=16,color="green",shape="box"];2041[label="yu4002\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];2042[label="yu302\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];2043[label="yu4002",fontsize=16,color="green",shape="box"];2044[label="yu302",fontsize=16,color="green",shape="box"];2045[label="yu4002\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];2046[label="yu302\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];2047[label="yu4002\n  Eq a",fontsize=16,color="green",shape="box"];2048[label="yu302\n  Eq a",fontsize=16,color="green",shape="box"];2049[label="yu4002",fontsize=16,color="green",shape="box"];2050[label="yu302",fontsize=16,color="green",shape="box"];2051[label="yu4002",fontsize=16,color="green",shape="box"];2052[label="yu302",fontsize=16,color="green",shape="box"];2053[label="yu4002",fontsize=16,color="green",shape="box"];2054[label="yu302",fontsize=16,color="green",shape="box"];2055[label="yu4002",fontsize=16,color="green",shape="box"];2056[label="yu302",fontsize=16,color="green",shape="box"];2057[label="yu4002",fontsize=16,color="green",shape="box"];2058[label="yu302",fontsize=16,color="green",shape="box"];2059[label="yu4001\n  Integral a",fontsize=16,color="green",shape="box"];2060[label="yu301\n  Integral a",fontsize=16,color="green",shape="box"];2061[label="yu4001\n  Eq a",fontsize=16,color="green",shape="box"];2062[label="yu301\n  Eq a",fontsize=16,color="green",shape="box"];2063[label="yu4001",fontsize=16,color="green",shape="box"];2064[label="yu301",fontsize=16,color="green",shape="box"];2065[label="yu4001\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];2066[label="yu301\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];2067[label="yu4001",fontsize=16,color="green",shape="box"];2068[label="yu301",fontsize=16,color="green",shape="box"];2069[label="yu4001\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];2070[label="yu301\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];2071[label="yu4001",fontsize=16,color="green",shape="box"];2072[label="yu301",fontsize=16,color="green",shape="box"];2073[label="yu4001\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];2074[label="yu301\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];2075[label="yu4001\n  Eq a",fontsize=16,color="green",shape="box"];2076[label="yu301\n  Eq a",fontsize=16,color="green",shape="box"];2077[label="yu4001",fontsize=16,color="green",shape="box"];2078[label="yu301",fontsize=16,color="green",shape="box"];2079[label="yu4001",fontsize=16,color="green",shape="box"];2080[label="yu301",fontsize=16,color="green",shape="box"];2081[label="yu4001",fontsize=16,color="green",shape="box"];2082[label="yu301",fontsize=16,color="green",shape="box"];2083[label="yu4001",fontsize=16,color="green",shape="box"];2084[label="yu301",fontsize=16,color="green",shape="box"];2085[label="yu4001",fontsize=16,color="green",shape="box"];2086[label="yu301",fontsize=16,color="green",shape="box"];2087 -> 1661[label="",style="dashed", color="red", weight=0];
2087[label="primEqNat yu3000 yu40000",fontsize=16,color="magenta"];2087 -> 2094[label="",style="dashed", color="magenta", weight=3];
2087 -> 2095[label="",style="dashed", color="magenta", weight=3];
2088[label="False",fontsize=16,color="green",shape="box"];2089[label="False",fontsize=16,color="green",shape="box"];2090[label="True",fontsize=16,color="green",shape="box"];2091[label="primMulInt (Pos yu3010) yu4001",fontsize=16,color="burlywood",shape="box"];2558[label="yu4001/Pos yu40010",fontsize=10,color="white",style="solid",shape="box"];2091 -> 2558[label="",style="solid", color="burlywood", weight=9];
2558 -> 2096[label="",style="solid", color="burlywood", weight=3];
2559[label="yu4001/Neg yu40010",fontsize=10,color="white",style="solid",shape="box"];2091 -> 2559[label="",style="solid", color="burlywood", weight=9];
2559 -> 2097[label="",style="solid", color="burlywood", weight=3];
2092[label="primMulInt (Neg yu3010) yu4001",fontsize=16,color="burlywood",shape="box"];2560[label="yu4001/Pos yu40010",fontsize=10,color="white",style="solid",shape="box"];2092 -> 2560[label="",style="solid", color="burlywood", weight=9];
2560 -> 2098[label="",style="solid", color="burlywood", weight=3];
2561[label="yu4001/Neg yu40010",fontsize=10,color="white",style="solid",shape="box"];2092 -> 2561[label="",style="solid", color="burlywood", weight=9];
2561 -> 2099[label="",style="solid", color="burlywood", weight=3];
2152[label="primPlusNat yu660 yu400100",fontsize=16,color="burlywood",shape="triangle"];2562[label="yu660/Succ yu6600",fontsize=10,color="white",style="solid",shape="box"];2152 -> 2562[label="",style="solid", color="burlywood", weight=9];
2562 -> 2161[label="",style="solid", color="burlywood", weight=3];
2563[label="yu660/Zero",fontsize=10,color="white",style="solid",shape="box"];2152 -> 2563[label="",style="solid", color="burlywood", weight=9];
2563 -> 2162[label="",style="solid", color="burlywood", weight=3];
2173[label="foldr (++) [] (findIndices0 (yu3 ==) (zip0 yu4110 (Pos yu67)) : map (findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu67 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];2173 -> 2175[label="",style="solid", color="black", weight=3];
2094[label="yu3000",fontsize=16,color="green",shape="box"];2095[label="yu40000",fontsize=16,color="green",shape="box"];2096[label="primMulInt (Pos yu3010) (Pos yu40010)",fontsize=16,color="black",shape="box"];2096 -> 2101[label="",style="solid", color="black", weight=3];
2097[label="primMulInt (Pos yu3010) (Neg yu40010)",fontsize=16,color="black",shape="box"];2097 -> 2102[label="",style="solid", color="black", weight=3];
2098[label="primMulInt (Neg yu3010) (Pos yu40010)",fontsize=16,color="black",shape="box"];2098 -> 2103[label="",style="solid", color="black", weight=3];
2099[label="primMulInt (Neg yu3010) (Neg yu40010)",fontsize=16,color="black",shape="box"];2099 -> 2104[label="",style="solid", color="black", weight=3];
2161[label="primPlusNat (Succ yu6600) yu400100",fontsize=16,color="burlywood",shape="box"];2564[label="yu400100/Succ yu4001000",fontsize=10,color="white",style="solid",shape="box"];2161 -> 2564[label="",style="solid", color="burlywood", weight=9];
2564 -> 2164[label="",style="solid", color="burlywood", weight=3];
2565[label="yu400100/Zero",fontsize=10,color="white",style="solid",shape="box"];2161 -> 2565[label="",style="solid", color="burlywood", weight=9];
2565 -> 2165[label="",style="solid", color="burlywood", weight=3];
2162[label="primPlusNat Zero yu400100",fontsize=16,color="burlywood",shape="box"];2566[label="yu400100/Succ yu4001000",fontsize=10,color="white",style="solid",shape="box"];2162 -> 2566[label="",style="solid", color="burlywood", weight=9];
2566 -> 2166[label="",style="solid", color="burlywood", weight=3];
2567[label="yu400100/Zero",fontsize=10,color="white",style="solid",shape="box"];2162 -> 2567[label="",style="solid", color="burlywood", weight=9];
2567 -> 2167[label="",style="solid", color="burlywood", weight=3];
2175[label="(++) findIndices0 (yu3 ==) (zip0 yu4110 (Pos yu67)) foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu67 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];2175 -> 2178[label="",style="solid", color="black", weight=3];
2101[label="Pos (primMulNat yu3010 yu40010)",fontsize=16,color="green",shape="box"];2101 -> 2106[label="",style="dashed", color="green", weight=3];
2102[label="Neg (primMulNat yu3010 yu40010)",fontsize=16,color="green",shape="box"];2102 -> 2107[label="",style="dashed", color="green", weight=3];
2103[label="Neg (primMulNat yu3010 yu40010)",fontsize=16,color="green",shape="box"];2103 -> 2108[label="",style="dashed", color="green", weight=3];
2104[label="Pos (primMulNat yu3010 yu40010)",fontsize=16,color="green",shape="box"];2104 -> 2109[label="",style="dashed", color="green", weight=3];
2164[label="primPlusNat (Succ yu6600) (Succ yu4001000)",fontsize=16,color="black",shape="box"];2164 -> 2169[label="",style="solid", color="black", weight=3];
2165[label="primPlusNat (Succ yu6600) Zero",fontsize=16,color="black",shape="box"];2165 -> 2170[label="",style="solid", color="black", weight=3];
2166[label="primPlusNat Zero (Succ yu4001000)",fontsize=16,color="black",shape="box"];2166 -> 2171[label="",style="solid", color="black", weight=3];
2167[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];2167 -> 2172[label="",style="solid", color="black", weight=3];
2178[label="(++) findIndices00 (yu3 ==) (zip0 yu4110 (Pos yu67)) foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu67 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];2178 -> 2179[label="",style="solid", color="black", weight=3];
2106[label="primMulNat yu3010 yu40010",fontsize=16,color="burlywood",shape="triangle"];2568[label="yu3010/Succ yu30100",fontsize=10,color="white",style="solid",shape="box"];2106 -> 2568[label="",style="solid", color="burlywood", weight=9];
2568 -> 2113[label="",style="solid", color="burlywood", weight=3];
2569[label="yu3010/Zero",fontsize=10,color="white",style="solid",shape="box"];2106 -> 2569[label="",style="solid", color="burlywood", weight=9];
2569 -> 2114[label="",style="solid", color="burlywood", weight=3];
2107 -> 2106[label="",style="dashed", color="red", weight=0];
2107[label="primMulNat yu3010 yu40010",fontsize=16,color="magenta"];2107 -> 2115[label="",style="dashed", color="magenta", weight=3];
2108 -> 2106[label="",style="dashed", color="red", weight=0];
2108[label="primMulNat yu3010 yu40010",fontsize=16,color="magenta"];2108 -> 2116[label="",style="dashed", color="magenta", weight=3];
2109 -> 2106[label="",style="dashed", color="red", weight=0];
2109[label="primMulNat yu3010 yu40010",fontsize=16,color="magenta"];2109 -> 2117[label="",style="dashed", color="magenta", weight=3];
2109 -> 2118[label="",style="dashed", color="magenta", weight=3];
2169[label="Succ (Succ (primPlusNat yu6600 yu4001000))",fontsize=16,color="green",shape="box"];2169 -> 2174[label="",style="dashed", color="green", weight=3];
2170[label="Succ yu6600",fontsize=16,color="green",shape="box"];2171[label="Succ yu4001000",fontsize=16,color="green",shape="box"];2172[label="Zero",fontsize=16,color="green",shape="box"];2179[label="(++) findIndices00 (yu3 ==) (yu4110,Pos yu67) foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu67 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];2179 -> 2180[label="",style="solid", color="black", weight=3];
2113[label="primMulNat (Succ yu30100) yu40010",fontsize=16,color="burlywood",shape="box"];2573[label="yu40010/Succ yu400100",fontsize=10,color="white",style="solid",shape="box"];2113 -> 2573[label="",style="solid", color="burlywood", weight=9];
2573 -> 2123[label="",style="solid", color="burlywood", weight=3];
2574[label="yu40010/Zero",fontsize=10,color="white",style="solid",shape="box"];2113 -> 2574[label="",style="solid", color="burlywood", weight=9];
2574 -> 2124[label="",style="solid", color="burlywood", weight=3];
2114[label="primMulNat Zero yu40010",fontsize=16,color="burlywood",shape="box"];2575[label="yu40010/Succ yu400100",fontsize=10,color="white",style="solid",shape="box"];2114 -> 2575[label="",style="solid", color="burlywood", weight=9];
2575 -> 2125[label="",style="solid", color="burlywood", weight=3];
2576[label="yu40010/Zero",fontsize=10,color="white",style="solid",shape="box"];2114 -> 2576[label="",style="solid", color="burlywood", weight=9];
2576 -> 2126[label="",style="solid", color="burlywood", weight=3];
2115[label="yu40010",fontsize=16,color="green",shape="box"];2116[label="yu3010",fontsize=16,color="green",shape="box"];2117[label="yu3010",fontsize=16,color="green",shape="box"];2118[label="yu40010",fontsize=16,color="green",shape="box"];2174 -> 2152[label="",style="dashed", color="red", weight=0];
2174[label="primPlusNat yu6600 yu4001000",fontsize=16,color="magenta"];2174 -> 2176[label="",style="dashed", color="magenta", weight=3];
2174 -> 2177[label="",style="dashed", color="magenta", weight=3];
2180 -> 1481[label="",style="dashed", color="red", weight=0];
2180[label="(++) findIndices000 (Pos yu67) (yu3 == yu4110) foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu67 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="magenta"];2180 -> 2181[label="",style="dashed", color="magenta", weight=3];
2180 -> 2182[label="",style="dashed", color="magenta", weight=3];
2180 -> 2183[label="",style="dashed", color="magenta", weight=3];
2123[label="primMulNat (Succ yu30100) (Succ yu400100)",fontsize=16,color="black",shape="box"];2123 -> 2129[label="",style="solid", color="black", weight=3];
2124[label="primMulNat (Succ yu30100) Zero",fontsize=16,color="black",shape="box"];2124 -> 2130[label="",style="solid", color="black", weight=3];
2125[label="primMulNat Zero (Succ yu400100)",fontsize=16,color="black",shape="box"];2125 -> 2131[label="",style="solid", color="black", weight=3];
2126[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];2126 -> 2132[label="",style="solid", color="black", weight=3];
2176[label="yu4001000",fontsize=16,color="green",shape="box"];2177[label="yu6600",fontsize=16,color="green",shape="box"];2181[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 yu4111 (numericEnumFrom $! Pos yu67 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="burlywood",shape="box"];2579[label="yu4111/yu41110 : yu41111",fontsize=10,color="white",style="solid",shape="box"];2181 -> 2579[label="",style="solid", color="burlywood", weight=9];
2579 -> 2184[label="",style="solid", color="burlywood", weight=3];
2580[label="yu4111/[]",fontsize=10,color="white",style="solid",shape="box"];2181 -> 2580[label="",style="solid", color="burlywood", weight=9];
2580 -> 2185[label="",style="solid", color="burlywood", weight=3];
2182 -> 1483[label="",style="dashed", color="red", weight=0];
2182[label="yu3 == yu4110\n  Eq a",fontsize=16,color="magenta"];2182 -> 2186[label="",style="dashed", color="magenta", weight=3];
2183[label="yu67",fontsize=16,color="green",shape="box"];2129 -> 2141[label="",style="dashed", color="red", weight=0];
2129[label="primPlusNat (primMulNat yu30100 (Succ yu400100)) (Succ yu400100)",fontsize=16,color="magenta"];2129 -> 2142[label="",style="dashed", color="magenta", weight=3];
2130[label="Zero",fontsize=16,color="green",shape="box"];2131[label="Zero",fontsize=16,color="green",shape="box"];2132[label="Zero",fontsize=16,color="green",shape="box"];2184[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu41110 : yu41111) (numericEnumFrom $! Pos yu67 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];2184 -> 2187[label="",style="solid", color="black", weight=3];
2185[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 [] (numericEnumFrom $! Pos yu67 + fromInt (Pos (Succ Zero)))))\n  Eq a",fontsize=16,color="black",shape="box"];2185 -> 2188[label="",style="solid", color="black", weight=3];
2186[label="yu4110\n  Eq a",fontsize=16,color="green",shape="box"];2142 -> 2106[label="",style="dashed", color="red", weight=0];
2142[label="primMulNat yu30100 (Succ yu400100)",fontsize=16,color="magenta"];2142 -> 2144[label="",style="dashed", color="magenta", weight=3];
2142 -> 2145[label="",style="dashed", color="magenta", weight=3];
2187 -> 2133[label="",style="dashed", color="red", weight=0];
2187[label="foldr (++) [] (map (findIndices0 (yu3 ==)) (zipWith zip0 (yu41110 : yu41111) (Pos yu67 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos yu67 + fromInt (Pos (Succ Zero))))))\n  Eq a",fontsize=16,color="magenta"];2187 -> 2189[label="",style="dashed", color="magenta", weight=3];
2187 -> 2190[label="",style="dashed", color="magenta", weight=3];
2187 -> 2191[label="",style="dashed", color="magenta", weight=3];
2187 -> 2192[label="",style="dashed", color="magenta", weight=3];
2188 -> 14[label="",style="dashed", color="red", weight=0];
2188[label="foldr (++) [] (map (findIndices0 (yu3 ==)) [])\n  Eq a",fontsize=16,color="magenta"];2144[label="yu30100",fontsize=16,color="green",shape="box"];2145[label="Succ yu400100",fontsize=16,color="green",shape="box"];2189[label="yu41110\n  Eq a",fontsize=16,color="green",shape="box"];2190[label="yu67",fontsize=16,color="green",shape="box"];2191[label="yu41111\n  Eq a",fontsize=16,color="green",shape="box"];2192[label="yu67",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusNat(Succ(yu6600), Succ(yu4001000)) → new_primPlusNat(yu6600, yu4001000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_primPlusNat(Succ(yu6600), Succ(yu4001000)) → new_primPlusNat(yu6600, yu4001000)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primMulNat(Succ(yu30100), Succ(yu400100)) → new_primMulNat(yu30100, Succ(yu400100))

From the DPs we obtained the following set of size-change graphs:

new_primMulNat(Succ(yu30100), Succ(yu400100)) → new_primMulNat(yu30100, Succ(yu400100))
The graph contains the following edges 1 > 1, 2 >= 2

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primEqNat(Succ(yu3000), Succ(yu40000)) → new_primEqNat(yu3000, yu40000)

From the DPs we obtained the following set of size-change graphs:

new_primEqNat(Succ(yu3000), Succ(yu40000)) → new_primEqNat(yu3000, yu40000)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(app(app(ty_@3, gf), gg), gh), ge) → new_esEs0(yu300, yu4000, gf, gg, gh)
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, app(app(ty_@2, dc), dd), cf) → new_esEs1(yu301, yu4001, dc, dd)
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(app(ty_@3, ea), eb), ec)), bc), cf)) → new_esEs0(yu300, yu4000, ea, eb, ec)
new_esEs(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(ty_[], bdc))) → new_esEs3(yu300, yu4000, bdc)
new_esEs(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], bcb)) → new_esEs3(yu301, yu4001, bcb)
new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(ty_[], bdc)) → new_esEs3(yu300, yu4000, bdc)
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(ty_Either, ef), eg), bc, cf) → new_esEs2(yu300, yu4000, ef, eg)
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(ty_[], he), ge) → new_esEs3(yu300, yu4000, he)
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(app(ty_@2, ha), hb)), ge)) → new_esEs1(yu300, yu4000, ha, hb)
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(ty_Maybe, gd)), ge)) → new_esEs(yu300, yu4000, gd)
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(ty_[], eh), bc, cf) → new_esEs3(yu300, yu4000, eh)
new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(app(app(ty_@3, bcd), bce), bcf)) → new_esEs0(yu300, yu4000, bcd, bce, bcf)
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(ty_Either, ef), eg)), bc), cf)) → new_esEs2(yu300, yu4000, ef, eg)
new_esEs(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, bah), app(app(ty_@2, bbe), bbf))) → new_esEs1(yu300, yu4000, bbe, bbf)
new_esEs(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(ty_Maybe, hf)), hg)) → new_esEs(yu300, yu4000, hf)
new_esEs(Just(yu30), Just(yu400), app(ty_Maybe, ba)) → new_esEs(yu30, yu400, ba)
new_esEs2(Left(yu300), Left(yu4000), app(app(ty_Either, bae), baf), hg) → new_esEs2(yu300, yu4000, bae, baf)
new_esEs(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, bah), app(ty_Maybe, bba))) → new_esEs(yu300, yu4000, bba)
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), bc), app(app(ty_Either, cb), cc))) → new_esEs2(yu302, yu4002, cb, cc)
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(app(app(ty_@3, gf), gg), gh)), ge)) → new_esEs0(yu300, yu4000, gf, gg, gh)
new_esEs3(:(yu300, yu301), :(yu4000, yu4001), bcb) → new_esEs3(yu301, yu4001, bcb)
new_esEs2(Left(yu300), Left(yu4000), app(ty_[], bag), hg) → new_esEs3(yu300, yu4000, bag)
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, app(ty_[], dg), cf) → new_esEs3(yu301, yu4001, dg)
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, fa), app(app(ty_@2, fg), fh))) → new_esEs1(yu301, yu4001, fg, fh)
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), fa, app(app(ty_@2, fg), fh)) → new_esEs1(yu301, yu4001, fg, fh)
new_esEs(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(app(ty_@2, bcg), bch))) → new_esEs1(yu300, yu4000, bcg, bch)
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, bc, app(app(ty_@2, bh), ca)) → new_esEs1(yu302, yu4002, bh, ca)
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), app(ty_[], dg)), cf)) → new_esEs3(yu301, yu4001, dg)
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, fa), app(ty_[], gc))) → new_esEs3(yu301, yu4001, gc)
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, fa), app(app(app(ty_@3, fc), fd), ff))) → new_esEs0(yu301, yu4001, fc, fd, ff)
new_esEs(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(app(app(ty_@3, bcd), bce), bcf))) → new_esEs0(yu300, yu4000, bcd, bce, bcf)
new_esEs2(Right(yu300), Right(yu4000), bah, app(app(ty_Either, bbg), bbh)) → new_esEs2(yu300, yu4000, bbg, bbh)
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), bc), app(ty_[], cd))) → new_esEs3(yu302, yu4002, cd)
new_esEs(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(ty_[], bag)), hg)) → new_esEs3(yu300, yu4000, bag)
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), fa, app(app(ty_Either, ga), gb)) → new_esEs2(yu301, yu4001, ga, gb)
new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(app(ty_Either, bda), bdb)) → new_esEs2(yu300, yu4000, bda, bdb)
new_esEs2(Right(yu300), Right(yu4000), bah, app(ty_[], bca)) → new_esEs3(yu300, yu4000, bca)
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), fa, app(ty_[], gc)) → new_esEs3(yu301, yu4001, gc)
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(ty_@2, ed), ee), bc, cf) → new_esEs1(yu300, yu4000, ed, ee)
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(ty_@2, ed), ee)), bc), cf)) → new_esEs1(yu300, yu4000, ed, ee)
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), bc), app(ty_Maybe, bd))) → new_esEs(yu302, yu4002, bd)
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, app(ty_Maybe, ce), cf) → new_esEs(yu301, yu4001, ce)
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(ty_[], eh)), bc), cf)) → new_esEs3(yu300, yu4000, eh)
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), app(app(app(ty_@3, cg), da), db)), cf)) → new_esEs0(yu301, yu4001, cg, da, db)
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), fa, app(ty_Maybe, fb)) → new_esEs(yu301, yu4001, fb)
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, bc, app(app(ty_Either, cb), cc)) → new_esEs2(yu302, yu4002, cb, cc)
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), bc), app(app(ty_@2, bh), ca))) → new_esEs1(yu302, yu4002, bh, ca)
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, fa), app(ty_Maybe, fb))) → new_esEs(yu301, yu4001, fb)
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, bc, app(ty_Maybe, bd)) → new_esEs(yu302, yu4002, bd)
new_esEs2(Left(yu300), Left(yu4000), app(app(ty_@2, bac), bad), hg) → new_esEs1(yu300, yu4000, bac, bad)
new_esEs2(Left(yu300), Left(yu4000), app(app(app(ty_@3, hh), baa), bab), hg) → new_esEs0(yu300, yu4000, hh, baa, bab)
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(app(ty_Either, hc), hd), ge) → new_esEs2(yu300, yu4000, hc, hd)
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, bc, app(ty_[], cd)) → new_esEs3(yu302, yu4002, cd)
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(ty_[], he)), ge)) → new_esEs3(yu300, yu4000, he)
new_esEs(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(app(ty_Either, bda), bdb))) → new_esEs2(yu300, yu4000, bda, bdb)
new_esEs2(Right(yu300), Right(yu4000), bah, app(app(app(ty_@3, bbb), bbc), bbd)) → new_esEs0(yu300, yu4000, bbb, bbc, bbd)
new_esEs2(Right(yu300), Right(yu4000), bah, app(app(ty_@2, bbe), bbf)) → new_esEs1(yu300, yu4000, bbe, bbf)
new_esEs(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(app(ty_@2, bac), bad)), hg)) → new_esEs1(yu300, yu4000, bac, bad)
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, app(app(app(ty_@3, cg), da), db), cf) → new_esEs0(yu301, yu4001, cg, da, db)
new_esEs(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(ty_Maybe, bcc))) → new_esEs(yu300, yu4000, bcc)
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, fa), app(app(ty_Either, ga), gb))) → new_esEs2(yu301, yu4001, ga, gb)
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), app(ty_Maybe, ce)), cf)) → new_esEs(yu301, yu4001, ce)
new_esEs2(Left(yu300), Left(yu4000), app(ty_Maybe, hf), hg) → new_esEs(yu300, yu4000, hf)
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), app(app(ty_@2, dc), dd)), cf)) → new_esEs1(yu301, yu4001, dc, dd)
new_esEs(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(app(ty_Either, bae), baf)), hg)) → new_esEs2(yu300, yu4000, bae, baf)
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), app(app(ty_Either, de), df)), cf)) → new_esEs2(yu301, yu4001, de, df)
new_esEs(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, bah), app(app(ty_Either, bbg), bbh))) → new_esEs2(yu300, yu4000, bbg, bbh)
new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(app(ty_@2, bcg), bch)) → new_esEs1(yu300, yu4000, bcg, bch)
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, bc, app(app(app(ty_@3, be), bf), bg)) → new_esEs0(yu302, yu4002, be, bf, bg)
new_esEs(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(app(app(ty_@3, hh), baa), bab)), hg)) → new_esEs0(yu300, yu4000, hh, baa, bab)
new_esEs2(Right(yu300), Right(yu4000), bah, app(ty_Maybe, bba)) → new_esEs(yu300, yu4000, bba)
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(app(ty_@2, ha), hb), ge) → new_esEs1(yu300, yu4000, ha, hb)
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), bc), app(app(app(ty_@3, be), bf), bg))) → new_esEs0(yu302, yu4002, be, bf, bg)
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(app(ty_Either, hc), hd)), ge)) → new_esEs2(yu300, yu4000, hc, hd)
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(ty_Maybe, gd), ge) → new_esEs(yu300, yu4000, gd)
new_esEs(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, bah), app(ty_[], bca))) → new_esEs3(yu300, yu4000, bca)
new_esEs(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, bah), app(app(app(ty_@3, bbb), bbc), bbd))) → new_esEs0(yu300, yu4000, bbb, bbc, bbd)
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(ty_Maybe, dh)), bc), cf)) → new_esEs(yu300, yu4000, dh)
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, app(app(ty_Either, de), df), cf) → new_esEs2(yu301, yu4001, de, df)
new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(ty_Maybe, bcc)) → new_esEs(yu300, yu4000, bcc)
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(ty_Maybe, dh), bc, cf) → new_esEs(yu300, yu4000, dh)
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(app(ty_@3, ea), eb), ec), bc, cf) → new_esEs0(yu300, yu4000, ea, eb, ec)
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), fa, app(app(app(ty_@3, fc), fd), ff)) → new_esEs0(yu301, yu4001, fc, fd, ff)

From the DPs we obtained the following set of size-change graphs:

new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(app(ty_@2, bcg), bch)) → new_esEs1(yu300, yu4000, bcg, bch)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(app(app(ty_@3, bcd), bce), bcf)) → new_esEs0(yu300, yu4000, bcd, bce, bcf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(ty_Maybe, bcc)) → new_esEs(yu300, yu4000, bcc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(app(ty_Either, bda), bdb)) → new_esEs2(yu300, yu4000, bda, bdb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, app(app(ty_@2, dc), dd), cf) → new_esEs1(yu301, yu4001, dc, dd)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, bc, app(app(ty_@2, bh), ca)) → new_esEs1(yu302, yu4002, bh, ca)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(ty_@2, ed), ee), bc, cf) → new_esEs1(yu300, yu4000, ed, ee)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, app(app(app(ty_@3, cg), da), db), cf) → new_esEs0(yu301, yu4001, cg, da, db)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, bc, app(app(app(ty_@3, be), bf), bg)) → new_esEs0(yu302, yu4002, be, bf, bg)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4, 5 > 5
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(app(ty_@3, ea), eb), ec), bc, cf) → new_esEs0(yu300, yu4000, ea, eb, ec)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, app(ty_Maybe, ce), cf) → new_esEs(yu301, yu4001, ce)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, bc, app(ty_Maybe, bd)) → new_esEs(yu302, yu4002, bd)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(ty_Maybe, dh), bc, cf) → new_esEs(yu300, yu4000, dh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(ty_[], eh), bc, cf) → new_esEs3(yu300, yu4000, eh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, app(ty_[], dg), cf) → new_esEs3(yu301, yu4001, dg)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, bc, app(ty_[], cd)) → new_esEs3(yu302, yu4002, cd)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), app(app(ty_Either, ef), eg), bc, cf) → new_esEs2(yu300, yu4000, ef, eg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, bc, app(app(ty_Either, cb), cc)) → new_esEs2(yu302, yu4002, cb, cc)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
new_esEs0(@3(yu300, yu301, yu302), @3(yu4000, yu4001, yu4002), bb, app(app(ty_Either, de), df), cf) → new_esEs2(yu301, yu4001, de, df)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), fa, app(app(ty_@2, fg), fh)) → new_esEs1(yu301, yu4001, fg, fh)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(app(ty_@2, ha), hb), ge) → new_esEs1(yu300, yu4000, ha, hb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs2(Left(yu300), Left(yu4000), app(app(ty_@2, bac), bad), hg) → new_esEs1(yu300, yu4000, bac, bad)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs2(Right(yu300), Right(yu4000), bah, app(app(ty_@2, bbe), bbf)) → new_esEs1(yu300, yu4000, bbe, bbf)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(app(ty_@2, ha), hb)), ge)) → new_esEs1(yu300, yu4000, ha, hb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, bah), app(app(ty_@2, bbe), bbf))) → new_esEs1(yu300, yu4000, bbe, bbf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, fa), app(app(ty_@2, fg), fh))) → new_esEs1(yu301, yu4001, fg, fh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(app(ty_@2, bcg), bch))) → new_esEs1(yu300, yu4000, bcg, bch)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(ty_@2, ed), ee)), bc), cf)) → new_esEs1(yu300, yu4000, ed, ee)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), bc), app(app(ty_@2, bh), ca))) → new_esEs1(yu302, yu4002, bh, ca)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(app(ty_@2, bac), bad)), hg)) → new_esEs1(yu300, yu4000, bac, bad)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), app(app(ty_@2, dc), dd)), cf)) → new_esEs1(yu301, yu4001, dc, dd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(app(app(ty_@3, gf), gg), gh), ge) → new_esEs0(yu300, yu4000, gf, gg, gh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), fa, app(app(app(ty_@3, fc), fd), ff)) → new_esEs0(yu301, yu4001, fc, fd, ff)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), fa, app(ty_Maybe, fb)) → new_esEs(yu301, yu4001, fb)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(ty_Maybe, gd), ge) → new_esEs(yu300, yu4000, gd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(ty_[], he), ge) → new_esEs3(yu300, yu4000, he)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), fa, app(ty_[], gc)) → new_esEs3(yu301, yu4001, gc)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), fa, app(app(ty_Either, ga), gb)) → new_esEs2(yu301, yu4001, ga, gb)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs1(@2(yu300, yu301), @2(yu4000, yu4001), app(app(ty_Either, hc), hd), ge) → new_esEs2(yu300, yu4000, hc, hd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs2(Left(yu300), Left(yu4000), app(app(app(ty_@3, hh), baa), bab), hg) → new_esEs0(yu300, yu4000, hh, baa, bab)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs2(Right(yu300), Right(yu4000), bah, app(app(app(ty_@3, bbb), bbc), bbd)) → new_esEs0(yu300, yu4000, bbb, bbc, bbd)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(app(ty_@3, ea), eb), ec)), bc), cf)) → new_esEs0(yu300, yu4000, ea, eb, ec)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(app(app(ty_@3, gf), gg), gh)), ge)) → new_esEs0(yu300, yu4000, gf, gg, gh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, fa), app(app(app(ty_@3, fc), fd), ff))) → new_esEs0(yu301, yu4001, fc, fd, ff)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(app(app(ty_@3, bcd), bce), bcf))) → new_esEs0(yu300, yu4000, bcd, bce, bcf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), app(app(app(ty_@3, cg), da), db)), cf)) → new_esEs0(yu301, yu4001, cg, da, db)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(app(app(ty_@3, hh), baa), bab)), hg)) → new_esEs0(yu300, yu4000, hh, baa, bab)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), bc), app(app(app(ty_@3, be), bf), bg))) → new_esEs0(yu302, yu4002, be, bf, bg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, bah), app(app(app(ty_@3, bbb), bbc), bbd))) → new_esEs0(yu300, yu4000, bbb, bbc, bbd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs2(Left(yu300), Left(yu4000), app(ty_Maybe, hf), hg) → new_esEs(yu300, yu4000, hf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs2(Right(yu300), Right(yu4000), bah, app(ty_Maybe, bba)) → new_esEs(yu300, yu4000, bba)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(ty_Maybe, gd)), ge)) → new_esEs(yu300, yu4000, gd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(yu30), Just(yu400), app(ty_Maybe, ba)) → new_esEs(yu30, yu400, ba)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(ty_Maybe, hf)), hg)) → new_esEs(yu300, yu4000, hf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, bah), app(ty_Maybe, bba))) → new_esEs(yu300, yu4000, bba)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), bc), app(ty_Maybe, bd))) → new_esEs(yu302, yu4002, bd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, fa), app(ty_Maybe, fb))) → new_esEs(yu301, yu4001, fb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(ty_Maybe, bcc))) → new_esEs(yu300, yu4000, bcc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), app(ty_Maybe, ce)), cf)) → new_esEs(yu301, yu4001, ce)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(ty_Maybe, dh)), bc), cf)) → new_esEs(yu300, yu4000, dh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs3(:(yu300, yu301), :(yu4000, yu4001), app(ty_[], bdc)) → new_esEs3(yu300, yu4000, bdc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs3(:(yu300, yu301), :(yu4000, yu4001), bcb) → new_esEs3(yu301, yu4001, bcb)
The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3
new_esEs2(Left(yu300), Left(yu4000), app(ty_[], bag), hg) → new_esEs3(yu300, yu4000, bag)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs2(Right(yu300), Right(yu4000), bah, app(ty_[], bca)) → new_esEs3(yu300, yu4000, bca)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(ty_[], bdc))) → new_esEs3(yu300, yu4000, bdc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], bcb)) → new_esEs3(yu301, yu4001, bcb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), app(ty_[], dg)), cf)) → new_esEs3(yu301, yu4001, dg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, fa), app(ty_[], gc))) → new_esEs3(yu301, yu4001, gc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), bc), app(ty_[], cd))) → new_esEs3(yu302, yu4002, cd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(ty_[], bag)), hg)) → new_esEs3(yu300, yu4000, bag)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(ty_[], eh)), bc), cf)) → new_esEs3(yu300, yu4000, eh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(ty_[], he)), ge)) → new_esEs3(yu300, yu4000, he)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, bah), app(ty_[], bca))) → new_esEs3(yu300, yu4000, bca)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs2(Left(yu300), Left(yu4000), app(app(ty_Either, bae), baf), hg) → new_esEs2(yu300, yu4000, bae, baf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs2(Right(yu300), Right(yu4000), bah, app(app(ty_Either, bbg), bbh)) → new_esEs2(yu300, yu4000, bbg, bbh)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, app(app(ty_Either, ef), eg)), bc), cf)) → new_esEs2(yu300, yu4000, ef, eg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), bc), app(app(ty_Either, cb), cc))) → new_esEs2(yu302, yu4002, cb, cc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(Just(:(yu300, yu301)), Just(:(yu4000, yu4001)), app(ty_[], app(app(ty_Either, bda), bdb))) → new_esEs2(yu300, yu4000, bda, bdb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, fa), app(app(ty_Either, ga), gb))) → new_esEs2(yu301, yu4001, ga, gb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(Just(@3(yu300, yu301, yu302)), Just(@3(yu4000, yu4001, yu4002)), app(app(app(ty_@3, bb), app(app(ty_Either, de), df)), cf)) → new_esEs2(yu301, yu4001, de, df)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(Just(Left(yu300)), Just(Left(yu4000)), app(app(ty_Either, app(app(ty_Either, bae), baf)), hg)) → new_esEs2(yu300, yu4000, bae, baf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(Just(Right(yu300)), Just(Right(yu4000)), app(app(ty_Either, bah), app(app(ty_Either, bbg), bbh))) → new_esEs2(yu300, yu4000, bbg, bbh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(Just(@2(yu300, yu301)), Just(@2(yu4000, yu4001)), app(app(ty_@2, app(app(ty_Either, hc), hd)), ge)) → new_esEs2(yu300, yu4000, hc, hd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4

↳ HASKELL

  ↳ LR

    ↳ HASKELL

      ↳ CR

        ↳ HASKELL

          ↳ IFR

            ↳ HASKELL

              ↳ BR

                ↳ HASKELL

                  ↳ COR

                    ↳ HASKELL

                      ↳ NumRed

                        ↳ HASKELL

                          ↳ Narrow

                            ↳ AND

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                              ↳ QDP

                                ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_foldr(yu3, yu4110, yu4111, yu64, yu65, ba) → new_foldr0(yu3, yu4110, yu4111, new_primPlusNat0(yu64, Zero), new_primPlusNat0(yu64, Zero), ba)
new_foldr0(yu3, yu4110, :(yu41110, yu41111), yu68, yu67, ba) → new_foldr(yu3, yu41110, yu41111, yu67, yu67, ba)

The TRS R consists of the following rules:

new_primPlusNat0(Zero, yu400100) → Succ(yu400100)
new_primPlusNat0(Succ(yu660), yu400100) → Succ(Succ(new_primPlusNat1(yu660, yu400100)))
new_primPlusNat1(Succ(yu6600), Zero) → Succ(yu6600)
new_primPlusNat1(Zero, Succ(yu4001000)) → Succ(yu4001000)
new_primPlusNat1(Succ(yu6600), Succ(yu4001000)) → Succ(Succ(new_primPlusNat1(yu6600, yu4001000)))
new_primPlusNat1(Zero, Zero) → Zero

The set Q consists of the following terms:

new_primPlusNat1(Zero, Succ(x0))
new_primPlusNat0(Zero, x0)
new_primPlusNat1(Succ(x0), Succ(x1))
new_primPlusNat1(Succ(x0), Zero)
new_primPlusNat1(Zero, Zero)
new_primPlusNat0(Succ(x0), x1)

We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_foldr(yu3, yu4110, yu4111, yu64, yu65, ba) → new_foldr0(yu3, yu4110, yu4111, new_primPlusNat0(yu64, Zero), new_primPlusNat0(yu64, Zero), ba)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 6 >= 6
new_foldr0(yu3, yu4110, :(yu41110, yu41111), yu68, yu67, ba) → new_foldr(yu3, yu41110, yu41111, yu67, yu67, ba)
The graph contains the following edges 1 >= 1, 3 > 2, 3 > 3, 5 >= 4, 5 >= 5, 6 >= 6

findIndices00	p (x,i)	= if p x then i : [] else []
findIndices00	p _	= []